Module Impl.Boolean

type value = bool
val true_ : var
val false_ : var
val if_ : var -> then_:var -> else_:var -> var Checked.t
val not : var -> var
val (&&) : var -> var -> var Checked.t
val (&&&) : var -> var -> var Checked.t
val (||) : var -> var -> var Checked.t
val (|||) : var -> var -> var Checked.t
val (lxor) : var -> var -> var Checked.t
val any : var list -> var Checked.t
val all : var list -> var Checked.t
val of_field : Field.Var.t -> var Checked.t
val var_of_value : value -> var
val typ : ( var, value ) Typ.t
val typ_unchecked : ( var, value ) Typ.t
val equal : var -> var -> var Checked.t
module Expr : sig ... end
module Unsafe : sig ... end
module Assert : sig ... end
module Array : sig ... end