set_int64


Description:

public void set_int64 (int index, int64 value)

Set a 64-bit integer value

Parameters:

index the index to write to
value the value to write