Make (snarky.Snarky_backendless.Backend

Parameters

module Backend : Backend_intf.S

Signature

module Field : 
  Snarky_intf.Field.Full
    with type t = Backend.Field.t
    with type Vector.t = Backend.Field.Vector.t

module Bigint : sig ... end

module Cvar : sig ... end

module R1CS_constraint_system : 
  Backend_intf.Constraint_system_intf
    with module Field := Field
    with type t = Backend.R1CS_constraint_system.t

module Constraint : sig ... end