adamc@157: structure M : sig datatype t = A | B end = struct adamc@157: datatype t = A | B adamc@157: end adamc@157: adamc@163: val ac = M.A adamc@158: adamc@157: datatype u = datatype M.t adamc@157: adamc@163: val ac : M.t = A adamc@163: val a2 : u = ac adamc@158: adamc@158: structure M2 = M adamc@158: structure M3 : sig datatype t = datatype M.t end = M2 adamc@158: structure M4 : sig datatype t = datatype M.t end = M adamc@158: adamc@163: val bc : M3.t = M4.B adamc@159: adamc@159: structure Ma : sig type t end = M adamc@160: adamc@160: structure Magain : sig datatype t = A | B end = M adamc@163: adamc@163: val page : M.t -> page = fn x => adamc@163: Hi. adamc@163: adamc@163: adamc@163: val main : unit -> page = fn () => adamc@163: Link adamc@163: