adamc@31: signature A = sig end
adamc@31: structure A = struct end
adamc@31: structure Ao : A = A
adamc@31: 
adamc@31: 
adamc@31: structure B = struct
adamc@31:         type t = int
adamc@31: end
adamc@31: structure Bo0 : sig end = B
adamc@31: structure BoA : A = B
adamc@31: 
adamc@31: signature B1 = sig
adamc@31:         type t
adamc@31: end
adamc@31: structure Bo1 : B1 = B
adamc@31: (*structure AoB1 : B1 = A*)
adamc@31: 
adamc@31: signature B2 = sig
adamc@31:         type t = int
adamc@31: end
adamc@31: structure Bo2 : B2 = B
adamc@31: 
adamc@31: 
adamc@31: structure C = struct
adamc@31:         type t = float
adamc@31: end
adamc@31: structure CoB1 : B1 = C
adamc@31: (*structure CoB2 : B2 = C*)