def append

bend-lint-api@0.2.0.0 · shared/lists.bend:20

import Base

20def append(a, -A: Kind(a), xs: List<a, A>, ys: List<a, A>) -> List<a, A>:
21  onto(a, A, List.reverse(a, A, xs), ys)