def hex.at
import emerging-ezhttp@0.22.0.0/src/http.bend as Httpimport 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))
import emerging-ezhttp@0.22.0.0/src/http.bend as Httpimport 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))