Module ClosuresSubstitution.ExpClosure

value domain, with the following concretization function gamma:

gamma(VDom.top) = { any value }
gamma(VDom.v Closure) = { a closure }
gamma(VDom.bot) = emptyset
type t = IR.Exp.closure
val pp : IR.Exp.F.formatter -> IR.Exp.closure -> unit
val equal : IR.Exp.closure -> IR.Exp.closure -> bool