~/jendhub

def mt

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

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory.bend as Memory
import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/array.bend as AR
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A

279def mt(+d: Nat, +mem: List<&2, A.Block>) -> AR.Tree<U32>:
280  tree(d, W(d, mem))

Uses (7)

Used by (15)