def List.append

Base · base.bend:932

932def List.append(a, -A: Kind(a), xs: List<a, A>, ys: List<a, A>) -> List<a, A>:
933  match xs:
934    case Nil{}:
935      ys
936    case h <> t:
937      h <> List.append(a, A, t, ys)