def tally.go

ezx@1.11.0.0 · src/ez/test.bend:37

import Base

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