def length_word
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/packed.bend as Packedimport Base
26def length_word(short: Bool, w: U32, length: U32) -> U32:
27 match short:
28 case True{}: length
29 case False{}: w
Uses (2)
Used by (4)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/packed:pad16
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/packed_proof:pad16_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/packed_proof:padded_words_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/packed_proof:tail_word_correct