adamc@157: structure M : sig datatype t = A | B end = struct
adamc@157:         datatype t = A | B
adamc@157: end
adamc@157: 
adamc@157: datatype u = datatype M.t
adamc@157: 
adamc@157: val a : M.t = A
adamc@157: val a2 : u = a