def osa.last

shake@0.7.0.0 · src/cli.bend:2240

import shake@0.7.0.0/src/cli.bend as Cli
import Base

2240# the last cell of a row, `dd` for an empty one
2241def osa.last(xs: List<&2, Nat>, dd: Nat) -> Nat:
2242  match xs:
2243    case Nil{}:
2244      dd
2245    case Con{hh, tt}:
2246      osa.last(tt, hh)

Uses (2)

Used by (1)