Json.Node.set_int Reference Manual
Json.Node.set_int:
Description:
public
void
set_int (
int
value)
created by
valadoc