Module type Model.CLOSURE


module type CLOSURE = sig .. end
The CLOSURE signature specifies a hierarchy of extensive idempotent operators on a Region module.

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