def append

bend-collections-laws-math@1.0.0.0 · spec/math/random/chacha8rand.bend:93

import Base

93def append(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
94  match xs:
95    case Nil{}:
96      ys
97    case Con{x, rest}:
98      Con{x, append(rest, ys)}