adamc@48: extern structure Lib : sig
adamc@48:         type t
adamc@48:         val x : t
adamc@48: end
adamc@48: 
adamc@48: type t' = Lib.t
adamc@48: val x' : t' = Lib.x
adamc@48: 
adamc@48: structure Lib' = Lib
adamc@48: 
adamc@48: type t'' = Lib'.t
adamc@48: val x'' : t'' = Lib'.x