module Regstab: sig .. end
sig
end
Author(s): Vincent Aravantinos
val regstab : ?cstr:Constraint.t -> Schema.t -> Satisfiability.t
?cstr:Constraint.t -> Schema.t -> Satisfiability.t