R1CS_constraint_system (snarky.Snarky_backendless.Backend_extended.Make.R1CS_constraint

type t = Backend.R1CS_constraint_system.t

val create : unit -> t

val finalize : t -> unit

val add_constraint : 
  ?label:string ->
  t ->
  ( Field.t Cvar.t, Field.t ) Constraint.basic ->
  unit

val digest : t -> Core_kernel.Md5.t

val set_primary_input_size : t -> int -> unit

val set_auxiliary_input_size : t -> int -> unit

val get_public_input_size : t -> int Core_kernel.Set_once.t

val get_rows_len : t -> int