module type S1_phantom = Container_intf.S1_phantom
Container_intf.S1_phantom
type ('a, +'phantom) t
('a, +'phantom)
include Container_intf.S1_phantom_invariant