module Check_S1: functor (M : S1) -> Check(sigtype 'a elt = 'a type 'a container = 'a M.container end)
functor (
M
:
S1
) ->
Check
(
sig
type 'a elt = 'a
'a
type 'a container = 'a M.container
'a M.container
end
)