Module Run.Make

Parameters

module M : sig ... end

Signature

val bit_length : int
type var = Impl.Field.t
val typ : ( var, M.t ) Impl.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 -> Impl.Boolean.var list
val if_ : Impl.Boolean.var -> then_:var -> else_:var -> var
val (=) : var -> var -> Impl.Boolean.var