Module Region


module Region: sig .. end

Zone Memory Model



module Create: 
functor (D : Mdata.S) ->
functor (A : Mdata.Addr with module F = D.F) -> sig .. end