adamc@36: signature S = sig
adamc@36:         type t
adamc@36:         val x : t
adamc@36: 
adamc@36:         structure Q : sig
adamc@36:                 type q
adamc@36:                 val y : q
adamc@36:         end
adamc@36: end
adamc@36: 
adamc@36: structure S = struct
adamc@36:         type t = int
adamc@36:         val x = 0
adamc@36: 
adamc@36:         structure Q = struct
adamc@36:                 type q = float
adamc@36:                 val y = 0.0
adamc@36:         end
adamc@36: end
adamc@36: 
adamc@36: structure S1 = S
adamc@36: structure S2 : S = S
adamc@36: structure S3 = S2