module Check_S1_phantom: functor (M : S1_phantom) -> Check(sigtype 'a elt = 'a type 'a container = ('a, Container.phantom) M.container end)(M)
functor (
M
:
S1_phantom
) ->
Check
(
sig
type 'a elt = 'a
'a
type 'a container = ('a, Container.phantom) M.container
('a, Container.phantom) M.container
end
)