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