module S2_to_S: functor (X : S2) -> sig .. end
functor (
X
:
S2
) ->
sig
end
type 'a t = ('a, unit) X.t
'a
('a, unit) X.t
include X