def cat
import bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend as Ed25519import Base
13def cat(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
14 match xs:
15 case Nil{}:
16 ys
17 case Con{x, xt}:
18 Con{x, cat(xt, ys)}