FUNCTION
json.size
pure function size(): integerGet the size of this JSON value; i.e. the number of elements in this JSON array, or the number of key-value pairs in this JSON object.
Returns
the size of this JSON value
Throws
exception— if this JSON value is not an array or an object
Since 0.14.16