def osa.head

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

import Base

2224# the head of a row, or 0 past its end
2225def osa.head(xs: List<&2, Nat>) -> Nat:
2226  match xs:
2227    case Nil{}:
2228      0n
2229    case Con{hh, _t}:
2230      hh

Uses (2)

List
Nat

Used by (1)

shake@0.7.0.0/src/cli:osa.row