Json.Array.remove_element Reference Manual
Json.Array.remove_element:
Description:
public
void
remove_element (
uint
index_)
created by
valadoc