add_array_element

Description:

[ Version ( since = "0.8" ) ]
public void add_array_element (owned Array? value)

Conveniently adds an array element into an array.

If `value` is `NULL`, a `null` element will be added instead.

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

Parameters:

this

a JSON array
value

the array to add