class RBS::Writer
def name_and_params(name, params)
def name_and_params(name, params) if params.empty? "#{name}" else ps = params.each.map do |param| s = "" if param.skip_validation s << "unchecked " end case param.variance when :invariant # nop when :covariant s << "out " when :contravariant s << "in " end s + param.name.to_s end "#{name}[#{ps.join(", ")}]" end end