def osa.tail

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

import Base

2232# a row after its head
2233def osa.tail(xs: List<&2, Nat>) -> List<&2, Nat>:
2234  match xs:
2235    case Nil{}:
2236      []
2237    case Con{_h, tt}:
2238      tt

Uses (2)

List
Nat

Used by (1)

shake@0.7.0.0/src/cli:osa.row