Manual
Programming Reference
typeinfo_t u64_type()
Gets the type object of u64 type.
u64
Returns the type object of u64 type.