Module type Container_intf.Container.S1_phantom

module type S1_phantom = Container_intf.S1_phantom

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