def splice

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

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

447# Words ws stored from index i on.
448def splice(ws: List<&2, U32>, +i: Nat, V: List<&2, U32>) -> List<&2, U32>:
449  match ws:
450    case Nil{}:
451      V
452    case w <> rest:
453      splice(rest, Nat.add(i, 1n), SC.update(U32, V, i, w))