signature S = sig type t end structure S : S = struct type t = int end