~/jendhub

def ix

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:118

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamka
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2b.bend as B

118def ix(xs: List<&2, Nat>, n: Nat) -> Nat:
119  B.nth(Nat, xs, n, 0n)

Uses (3)

Used by (1)