Module 1-Backend.R1CS_constraint_system

type 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