Run (snarky.Snarky_backendless.Enumerable.Run)

module Make
  (Impl : Snark_intf.Run_basic)
  (M : sig ... end) : 
  Enumerable_intf.Run
    with type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
     and type bool_var := Impl.Boolean.var
     and type var = Impl.Field.t
     and type t := M.t