def count

import ezx@1.11.0.0/src/ez/prove.bend as Prove

import Base

107# one more proof counted, and one more pass when it held
108def count(ok: Bool, +passed: Nat) -> Nat:
109  Bool.pick(Nat, ok, (1n + passed : Nat), passed)

Uses (4)

Bool
Nat
Nat.add
Bool.pick

Used by (1)

ezx@1.11.0.0/src/ez/prove:one