def append

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/random.bend:43

import Base

43def append(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
44  match xs:
45    case Nil{}:
46      ys
47    case Con{x, rest}:
48      Con{x, append(rest, ys)}