signature S = sig type t end structure S : S