def cat

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2.bend as Argon2

import Base

23def cat(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
24  List.append(&2, U32, xs, ys)

Uses (3)