def last_nat

import cli@0.2.0.0/cli.bend as Cli

import Base

5716def last_nat(xs: List<&2, Nat>, last: Nat) -> Nat:
5717  match xs:
5718    case Nil{}: last
5719    case head <> tail: last_nat(tail, head)

Uses (2)

List
Nat

Used by (1)

cli@0.2.0.0/cli:osa