This is an older way of writing array[t] vector[n] x;. Hopefully the newer syntax makes it more clear what this is: an array of t vectors, each with length n.
This is not quite equivalent to a matrix, since it will be laid out differently in memory. Some details are described in the User’s Guide