def padded_word

bend-collections@1.0.0.0 · spec/crypto/sha/packed.bend:49

import Base

49def padded_word(+position: Nat, w: U32, +remain: Nat, total: Nat) -> U32:
50  match position:
51    case 56n: length_word(Nat.is_lt(remain,56n),pad_word(w,56n,remain),len_hi(total))
52    case 60n: length_word(Nat.is_lt(remain,56n),pad_word(w,60n,remain),len_lo(total))
53    case _: pad_word(w,position,remain)