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) = emptysettype t= IR.Exp.closure
val pp : IR.Exp.F.formatter -> IR.Exp.closure -> unitval equal : IR.Exp.closure -> IR.Exp.closure -> bool