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