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