add_int_element

Description:

[ Version ( since = "0.8" ) ]
public void add_int_element (int64 value)

Conveniently adds the given integer value into an array.

See also: [method@Json.Array.add_element], [method@Json.Node.set_int]

this	a JSON array
value	the integer value to add