I have found a type for non_empty_array, looking for a empty_array type. Did I overlook anything or is it not implemented?

I tried to go with shape([]), though PHPStan complains about

Unable to resolve the template type Tv in call to function Psl\Type\shape