structure S : sig type t end val x : S.t