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