def col_idx
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamkaimport Base
159def col_idx(+i: Nat) -> List<&2, Nat>:
160 col_pairs(8n, Nat.mul(2n, i))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamkaimport Base
159def col_idx(+i: Nat) -> List<&2, Nat>:
160 col_pairs(8n, Nat.mul(2n, i))