Functor Container.Check_S0_phantom

module Check_S0_phantom (M : S0_phantom) : Check(sig
type 'a t = 'a M.t 

end)(sig
type 'a t = M.elt 

end)(M)