def head_nat

import cli@0.2.0.0/cli.bend as Cli

import Base

5677def head_nat(xs: List<&2, Nat>) -> Nat:
5678  match xs:
5679    case Nil{}: 0n
5680    case head <> tail: head

Uses (2)