def pad_word

import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/keccak.bend as Keccak

import Base

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

Uses (5)