Snark_intf.Boolean_intf
val true_ : var
An R1CS variable containing Field
.one, representing true
.
val false_ : var
An R1CS variable containing Field
.zero, representing false
.
if_ b ~then_ ~else_
returns then_
if b
is true, or else_
otherwise.
Convert a value in a field to a boolean, adding checks to the R1CS that it is a valid boolean value.
Convert an OCaml bool
into a R1CS variable representing the same value.
The relationship between var
and value
, with a check that the value is valid (ie. Field
.zero or Field
.one).
module Expr : sig ... end
Build trees representing boolean expressions.
module Unsafe : sig ... end
module Assert : sig ... end
module Array : sig ... end