~/jendhub

def W64.from_nat

bend-osdev-word64@0.1.1.0 · word64.bend:100

import bend-osdev-word64@0.1.1.0/word64.bend as Word64
import Base

100# k mod 2^64
101def W64.from_nat(k: Nat) -> W64:
102  W64.from_nat.pair(Nat.divmod(k, W64.two32()))

Uses (5)

Used by (6)