def slice

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/memory.bend:186

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as SC

186def slice(ws: List<&2, U32>, +base: Nat, n: Nat) -> List<&2, U32>:
187  SC.take(U32, SC.drop(U32, ws, base), n)