def hex_digit
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/sha512.bend as Sha512import Base
26def hex_digit(+x: U32) -> Char:
27 hex_digit_if(x, U32.is_lt(x, 10))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/sha512.bend as Sha512import Base
26def hex_digit(+x: U32) -> Char:
27 hex_digit_if(x, U32.is_lt(x, 10))