set_uint64

Sets key in this to value.

A convenience variant of @set for 64-bit unsigned integers.

It is a programmer error to give a key that isn't specified as having a uint64 type in the schema for this.

Parameters:

this	a Settings object
key	the name of the key to set
value	the value to set it to

Returns:

true if setting the key succeeded, false if the key was not writable