Lists.onto: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
Lines 12-18 of bend-lint-api@0.2.0.0/shared/lists.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&start_line=12&end_line=18

import Base

# `xs`, last first, onto `out`.
def onto(a, -A: Kind(a), xs: List<a, A>, out: List<a, A>) -> List<a, A>:
  match xs:
    case Nil{}:
      out
    case Con{h, t}:
      onto(a, A, t, h <> out)

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List