adamc@77: signature S = sig
adamc@77:         type t
adamc@77:         val x : t
adamc@77: end
adamc@77: 
adamc@77: structure M : S = struct
adamc@77:         type t = _
adamc@77:         val x = 0
adamc@77: end