1-Inputs.Constraint_system
type t
val get_primary_input_size : t -> int
val get_prev_challenges : t -> int option
val set_prev_challenges : t -> int -> unit
val finalize_and_get_gates : t -> Gate_vector.t