signature S = sig type t type t end