~/jendhub

def hex.text

yaml-for-bend@0.1.1.0 · emit.bend:46

import yaml-for-bend@0.1.1.0/emit.bend as Emit
import Base

46# +n+ in +width+ hex digits.
47def hex.text(width: Nat, +n: Nat) -> String:
48  match width:
49    case 0n:
50      ""
51    case 1n+k:
52      hex.text(k, Nat.div(n, 16n)) ++ SCon{hex.digit(Nat.mod(n, 16n)), SNil{}}

Uses (6)

Used by (1)