Make (snarky.Snarky_backendless.Enumerable.Make)

Parameters

module Impl : Snark_intf.Basic

module M : sig ... end

val bit_length : int

type var = Impl.Field.Var.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 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