def hex_digit
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
1158def hex_digit(+x: U32) -> Char:
1159 hex_digit_if(x, U32.is_lt(x, 10))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
1158def hex_digit(+x: U32) -> Char:
1159 hex_digit_if(x, U32.is_lt(x, 10))