module Check_S0:
functor (
M
:
S0
) ->
Check
(
sig
type 'a elt = M.elt
'a
M.elt
type 'a container = M.container
M.container
end
)