Module type Container_intf.S1_phantom

module type S1_phantom = sig .. end

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