Test.tally.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/test.bend as Test
Lines 37-43 of ezx@1.11.0.0/src/ez/test.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/test.bend&start_line=37&end_line=43

import Base

# one more comparison, and one more pass when it held
def tally.go(ok: Bool, passed: Nat, total: Nat) -> Tally:
  match ok:
    case True{}:
      Tally{(1n + passed : Nat), (1n + total : Nat)}
    case False{}:
      Tally{passed, (1n + total : Nat)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=ezx@1.11.0.0/src/ez/test.bend&name=Tally