Module Model.S.Closure


module Closure: Model.CLOSURE 
  with module Region = Semantics.Region

module Region: Model.REGION 
val clo : int -> Region.t -> Region.t