def hex_digit
import bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModelimport Base
673def hex_digit(+x: U32) -> Char:
674 hex_digit_if(x, U32.is_lt(x, 10))
import bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModelimport Base
673def hex_digit(+x: U32) -> Char:
674 hex_digit_if(x, U32.is_lt(x, 10))