def cat
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2.bend as Argon2import Base
15def cat(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
16 List.append(&2, U32, xs, ys)
Uses (3)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:hprime
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:hp_go
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:h0
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:init_go
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/password:hprime_len
- …