Wrap.R1CS_constraint_system
type t = Backend.Tock.R1CS_constraint_system.t
val digest : t -> Core_kernel.Md5.t
val get_public_input_size : t -> int Core_kernel.Set_once.t
val get_rows_len : t -> int