Run (snarky.Snarky_backendless.Snark0.Run)

module Make
  (Backend : Backend_intf.S) : 
  Snark_intf.Run
    with type field = Backend.Field.t
     and type Bigint.t = Backend.Bigint.t
     and type R1CS_constraint_system.t = Backend.R1CS_constraint_system.t
     and type Field.Constant.Vector.t = Backend.Field.Vector.t