Module Expansion.Shadowing

module type A = sig ... end
module type B = sig ... end