https://redis.io/commands/json.arrlen/

 
JSON.ARRLEN key [path]
Available in: Redis Stack / JSON 1.0.0 Time complexity: O(1) where path is evaluated to a single value, O(N) where path is evaluated to multiple values, where N is the size of the key

Report the length of the JSON array at path in key