module Data: sig .. end
sig
end
module type DATA = sig .. end
module type S = sig .. end
module Make (Data : DATA) : S with module T = Data
(
Data
:
DATA
)
S
with module T = Data