Functor Container.Check_S0_phantom


module Check_S0_phantom: 
functor (M : S0_phantom) -> Check(sig
type 'a elt = M.elt 
type 'a container = 'a M.container 
end)(M)
Parameters:
M : S0_phantom