Backend_extended.Make
module Backend : Backend_intf.S
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