adam@2173: structure S : sig
adam@2173:   type t
adam@2173: end
adam@2173: 
adam@2173: val x : S.t