Make.Enumerable
module M : sig ... end
val bit_length : int
type var = Field.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
val var_to_bits : var -> Boolean.var list
val if_ : Boolean.var -> then_:var -> else_:var -> var
val (=) : var -> var -> Boolean.var