How can we write `Array#zip` with arbitrary number of arguments?

[mame]

The current signature for Array#zip accepts exactly one array argument, but the actual zip acceptes one or more arrays. Can we write a signature for this?

pp [1, 2, 3].zip(%w(foo bar baz), [:foo, :bar, :baz])
#=> [[1, "foo", :foo], [2, "bar", :bar], [3, "baz", :baz]]

[marcandre]

I imagine this can be closed now?

If I'm not mistaken, it should look like:

def zip: (*Array[untyped]) -> Array[Array[untyped]]
       | (*Array[untyped]) { (Array[untyped]) -> void } -> nil

Right? It's my first rbs signature 😅