module HiddenInts: sig .. end
sig
end
module type S = sig .. end
module type HI = sig .. end
module Make: functor (X : S) -> HI
functor (
X
:
S
) ->
HI