Expansion.ModuleTypeOfComplications
module type S = sig ... end
module X1 : sig ... end
module type T = sig ... end