Snarky_backendless.Constraint_system
type 'f t =
| T : (module Backend_intf.Constraint_system_intf with type t = 't and type Field.t = 'f) * 't -> 'f t