Enumerable (snarky.Snarky_backendless.Enumerable)

module Make
  (Impl : Snark_intf.Basic)
  (M : sig ... end) : 
  Enumerable_intf.S
    with type 'a checked := 'a Impl.Checked.t
     and type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
     and type bool_var := Impl.Boolean.var
     and type var = Impl.Field.Var.t
     and type t := M.t

module Run : sig ... end