Path.ups.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/path.bend as Path
Lines 155-163 of ezx@1.11.0.0/src/pkg/path.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/path.bend&start_line=155&end_line=163

import Base

# the climbs among components counted one at a time. Base's `List.filter`
# applies an erased function parameter, so it falls outside the termination
# check; this count is structural.
def ups.go(ps: List<&2, String>) -> Nat:
  match ps:
    case []:
      0n
    case +h <> t:
      Nat.add(Bool.pick(Nat, up.is(h), 1n, 0n), ups.go(t))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=up.is