module Closure: Model.CLOSURE with module Region = Semantics.Region
Model.CLOSURE
with module Region = Semantics.Region
module Region: Model.REGION
Model.REGION
val clo : int -> Region.t -> Region.t
int -> Region.t -> Region.t