def app
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend as Subimport Base
12def app(xs: List<&2,U32>, ys: List<&2,U32>) -> List<&2,U32>:
13 List.append(&2, U32, xs, ys)
Uses (3)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub:words
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:words_len
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:len_app
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:len_row
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:row_rw
- …