Module Literal.ClosureSet


module ClosureSet: sig .. end
To detect application of closure rule (rather) efficiently

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