Nat64
64-bit unsigned integers with checked arithmetic
Most operations are available as built-in operators (e.g. 1 + 1
).
toNat
let toNat : Nat64 -> Nat
Conversion.
fromNat
let fromNat : Nat -> Nat64
Conversion. Traps on overflow/underflow.
fromIntWrap
let fromIntWrap : Int -> Nat64
Conversion. Wraps on overflow/underflow.
toText
func toText(x : Nat64) : Text
Returns the Text representation of x
.
bittest
func bittest(x : Nat64, p : Nat) : Bool
Returns the value of bit p mod 64
in x
, (x & 2^(p mod 64)) == 2^(p mod 64)
.