module Type_generic_intf: sig .. end
sig
end
module M: functor (X : sig type 'a t end) -> sig .. end
functor (
X
:
type 'a t
'a
end) -> sig .. end
) ->
module type S = sig .. end