def hex.go

bend-kit-http@0.38.2.0 · http.bend:5376

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

import Base

5376def hex.go(k: Nat, +n: U32, acc: String) -> String:
5377  match k:
5378    case 0n:
5379      acc
5380    case 1n+p:
5381      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.2.0/http:hex