def List.last.go

Base · base.bend:978

978def List.last.go(a, -A: Kind(a), xs: List<a, A>, last: A) -> A:
979  match xs:
980    case Nil{}:
981      last
982    case h <> t:
983      List.last.go(a, A, t, h)