BendCollectionsLawsCrypto.tail_word: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend as BendCollectionsLawsCrypto
Lines 22-23 of bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend&start_line=22&end_line=23

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend&name=select_tail