Functor Container.Check_S1_phantom


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