~/jendhub

def pad_word

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

import bend-collections@1.0.0.0/spec/crypto/sha/packed.bend as Packed
import Base

40def pad_word(w: U32, +pos: Nat, +remain: Nat) -> U32:
41  pad_choose(Nat.cmp(pos,remain),w,Nat.sub(remain,pos))

Uses (5)

Used by (4)