~/jendhub

def U64.to_nat

bend-kit-int@0.2.0.0 · int.bend:1238

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

1238# A native build stops on a Nat past 2^48 - 1, so large U64 values have no native Nat.
1239def U64.to_nat(a: U64) -> Nat:
1240  match a:
1241    case U64{x}:
1242      Word.to_nat(64n, x)

Uses (3)

Used by (0)

No other definition uses this definition.