def tail_word

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend as BendCollectionsLawsCrypto

import Base

22def tail_word(w: U32, +pos: Nat, +remain: Nat) -> U32:
23  select_tail(Nat.cmp(pos,remain),w,Nat.sub(remain,pos))

Uses (5)