adamc@63: val x = 0 adamc@64: val x = x adamc@63: adamc@63: type t = int adamc@64: type t = { A : t } adamc@63: adamc@63: signature S = sig end adamc@64: signature S = sig type t structure M : S end adamc@63: adamc@63: structure S = struct end adamc@64: structure S : S = struct type t = int structure M = S end