sig
val
regstab : ?cstr:
Constraint
.t
->
Schema
.t
->
Satisfiability
.t
end