package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Build.Boolean`Source

Sourceval empty : Operator.Function_symbol.boolean t

val bunion : 
  Operator.Function_symbol.boolean t ->
  Operator.Function_symbol.boolean t ->
  Operator.Function_symbol.boolean t

Sourceval unknown : level:int -> Operator.Function_symbol.boolean t

include Operator.BOOLEAN_FORWARD
  with module Arity := Operator.Forward_Arity
   and type boolean = Operator.Function_symbol.boolean t

Sourcetype boolean = Operator.Function_symbol.boolean t

Sourceval not : (boolean, boolean) Operator.Forward_Arity.ar1

Sourceval (&&) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2

Sourceval (||) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2

Sourceval true_ : boolean Operator.Forward_Arity.ar0

Sourceval false_ : boolean Operator.Forward_Arity.ar0