shadow.sml

structure A = 
struct
   val say = fn () => print "A\n" 
end

structure B = 
struct
   val say = fn () => print "B\n"
end

structure C = 
struct
   open A
   open B
   val () = say ()
end