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