def append

bend-collections-laws-math@1.0.0.0 · spec/lib/common.bend:133

import Base

133def append(-A: Data, xs: List<&2, A>, ys: List<&2, A>) -> List<&2, A>:
134  match xs:
135    case Nil{}:
136      ys
137    case Con{h, t}:
138      Con{h, append(A, t, ys)}