adamc@76: structure M = struct
adamc@76:         type t = int
adamc@76:         val f = fn x => x
adamc@76:         val y = f 0
adamc@76: end
adamc@76: 
adamc@76: signature S = sig
adamc@76:         type t
adamc@76:         val f : t -> t
adamc@76: end
adamc@76: 
adamc@76: structure M : S = struct
adamc@76:         type t = int
adamc@76:         val f = fn x => x
adamc@76: end