def pad_word
import bend-collections@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend as Blake2simport Base
92def pad_word(w: U32, +pos: Nat, +remain: Nat) -> U32:
93 keep(Nat.sub(remain,pos),w)
import bend-collections@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend as Blake2simport Base
92def pad_word(w: U32, +pos: Nat, +remain: Nat) -> U32:
93 keep(Nat.sub(remain,pos),w)