signature S = sig
        type t
end

structure S : S