Module Expansion.Shadowing

Demonstrates shadowing of identifiers in includes

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