S (snarky.Snarky_backendless.Backend

module Field : Snarky_intf.Field.Full

module Bigint : sig ... end

module Cvar : sig ... end

module R1CS_constraint_system : 
  Backend_intf.Constraint_system_intf with module Field := Field

module Constraint : sig ... end