def counted

ezx@1.11.0.0 · src/ez/ends.bend:68

import ezx@1.11.0.0/src/ez/ends.bend as Ends

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

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

Uses (4)

Used by (2)