Enumerable.Make
module Impl : Snark_intf.Basic
module M : sig ... end
type var = Impl.Field.Var.t
val typ : ( var, M.t ) Impl.Typ.t
val to_bits : M.t -> bool list
val assert_equal : var -> var -> unit Impl.Checked.t
val var_to_bits : var -> Impl.Boolean.var list Impl.Checked.t
val if_ : Impl.Boolean.var -> then_:var -> else_:var -> var Impl.Checked.t
val (=) : var -> var -> Impl.Boolean.var Impl.Checked.t