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