module S_to_S2: functor (X : S) -> sig .. end
functor (
X
:
S
) ->
sig
end
type ('a, 'e) t = 'a X.t
('a, 'e)
'a X.t
include X