Impl.R1CS_constraint_system
type t = Tock0.R1CS_constraint_system.t
val digest : t -> Core_kernel.Md5.t