adamc@65: signature S = sig adamc@65: type t adamc@65: end adamc@65: adamc@65: structure S : S