def row_idx
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamkaimport Base
146# Row i: lanes 16i, 16i + 1, .., 16i + 15.
147def row_idx(+i: Nat) -> List<&2, Nat>:
148 seq(16n, Nat.mul(16n, i), 1n)
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamkaimport Base
146# Row i: lanes 16i, 16i + 1, .., 16i + 15.
147def row_idx(+i: Nat) -> List<&2, Nat>:
148 seq(16n, Nat.mul(16n, i), 1n)