The type "uInt64" is defined in /pliant/language/type/number/int64.pli module.


Field Type
low uInt
high uInt

Method name
Arguments

Intn -> uInt64 reduction
uInt -> uInt64 extension

uInt64 -> Intn extension
uInt64 -> uInt reduction