def hex.at

emerging-ezhttp@0.21.0.0 · src/http.bend:1045

import Base

1045# the 4 bits of n at this shift as a hex digit
1046def hex.at(+n: U32, k: Nat) -> Char:
1047  hex.nib(U32.and(U32.shrn(n, k), 15))