~/jendhub

def W64.hex.go

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

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

379def W64.hex.go(n: Nat, +a: W64, acc: String) -> String:
380  match n:
381    case 0n:
382      acc
383    case 1n+p:
384      W64.hex.go(p, W64.shr(a, 4n), SCon{W64.hex.digit(U32.and(W64.lo(a), 15)), acc})

Uses (7)

Used by (1)