def hex_word
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModelimport Base
683def hex_word(x: U32) -> String:
684 hex_word_go(8n, x, "")
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModelimport Base
683def hex_word(x: U32) -> String:
684 hex_word_go(8n, x, "")