Module Snark_intf.Enumerable

Parameters

module M : sig ... end

Signature

val bit_length : int
type var = Field.Var.t
val typ : ( var, M.t ) Typ.t
val to_bits : M.t -> bool list
val var : M.t -> var
val assert_equal : var -> var -> unit Checked.t
val var_to_bits : var -> Boolean.var list Checked.t
val if_ : Boolean.var -> then_:var -> else_:var -> var Checked.t
val (=) : var -> var -> Boolean.var Checked.t