def cat

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/ed25519.bend:218

import Base

218def cat(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
219  match xs:
220    case Nil{}:
221      ys
222    case Con{x, xt}:
223      Con{x, cat(xt, ys)}