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