Typically it is an array, we convert the rest params into an array in the backend. The way this filter is handled was more so for backend usage or GraphQL where you can actually pass in an array.
We are planning a massive rework of the filtering system likely in 2021.