Cli.osa.head: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 2224-2230 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=2224&end_line=2230

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat