def keep

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3

import Base

170def keep(w: U32, +pos: Nat, +len: Nat) -> U32:
171  low_bytes(w,Nat.min(4n,Nat.sub(len,pos)))

Uses (5)