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