Module type Model.SEMANTICS_CLOSURE


module type SEMANTICS_CLOSURE = sig .. end
Aggregation of SEMANTICS and CLOSURE over the same region algebra.

include Model.SEMANTICS
include Model.CLOSURE