def hex.go

bend-kit-http@0.38.5.0 · http.bend:5368

import bend-kit-http@0.38.5.0/http.bend as Http

import Base

5368def hex.go(k: Nat, +n: U32, acc: String) -> String:
5369  match k:
5370    case 0n:
5371      acc
5372    case 1n+p:
5373      hex.go(p, U32.shrn(n, 4n), SCon{hex.digit(U32.and(n, 15)), acc})

Uses (6)

Used by (1)

bend-kit-http@0.38.5.0/http:hex