module ClosureSet:To detect application of closure rule (rather) efficientlysig
..end
type
t
val empty : cstr:Constraint.t -> t
val add : t -> key:substituable -> t
val closure_applies : t -> key:substituable -> bool
val add_constraint : t -> cstr:Constraint.t -> t