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