[ Version ( since = "0.8" ) ]
public int64 get_int_element (uint index_)
Conveniently retrieves the integer value of the element at the given position inside an array.
See also: [[email protected]_element], [[email protected]_int]
| this |
a JSON array |
| index_ |
the index of the element to retrieve |
|
the integer value |