Ends.counted: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ez/ends.bend as Ends
Lines 68-70 of ezx@1.13.0.0/src/ez/ends.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ez/ends.bend&start_line=68&end_line=70

import Base
import ezx@1.13.0.0/src/lock/plan.bend as P

# `ez test` and `ez prove`: every file passed
def counted(+passed: Nat, +total: Nat) -> P.Outcome:
  outcome.of(Nat.is_eq(passed, total))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ez/ends.bend&name=outcome.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Outcome