adamc@1264: signature S = sig
adamc@1264:     type t
adamc@1264:     val x : t
adamc@1264: end
adamc@1264: 
adamc@1264: signature T = sig
adamc@1264:     structure M : S
adamc@1264: 
adamc@1264:     type u
adamc@1264:     val y : u
adamc@1264: 
adamc@1264:     structure N : S
adamc@1264: end
adamc@1264: 
adamc@1264: structure M : T = struct
adamc@1264:     structure M = struct
adamc@1264:         val x = True
adamc@1264:     end
adamc@1264: 
adamc@1264:     val y = 0
adamc@1264: 
adamc@1264:     structure N = struct
adamc@1264:         val x = "hi"
adamc@1264:     end
adamc@1264: end