Blake2b.keep: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend as Blake2b
Lines 137-144 of bend-collections@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend&start_line=137&end_line=144

import Base

# Only the first n bytes of the word are message bytes; the rest are zero.
def keep(w: U32, n: Nat) -> U32:
  match n:
    case 0n: 0
    case 1n: U32.and(w,255)
    case 2n: U32.and(w,65535)
    case 3n: U32.and(w,16777215)
    case _: w

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and