uint64.max Reference Manual
uint64.max:
Description:
public
static
uint64
max (
uint64
a,
uint64
b)
created by
valadoc