def trim

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2b.bend:221

import Base

221def trim(ws: List<&2,U32>, +pos: Nat, +remain: Nat) -> List<&2,U32>:
222  match ws:
223    case Nil{}: Nil{}
224    case w <> rest: mask(w,pos,remain) <> trim(rest,Nat.add(pos,4n),remain)