Functor Container.Check_S1_phantom_invariant

module Check_S1_phantom_invariant: 
functor (M : S1_phantom_invariant) -> Check(sig

type 'a t = ('a, Container.phantom) M.t 

end)(sig

type 'a t = 'a 

end)(M)