Module Tock.R1CS_constraint_system

type t
val digest : t -> Core_kernel.Md5.t