type Tally
import ezx@1.11.0.0/src/ez/test.bend as Testimport Base
22# how many comparisons were made, and how many of them held
23type Tally is Data:
24 Tally{pass: Nat, total: Nat}
import ezx@1.11.0.0/src/ez/test.bend as Testimport Base
22# how many comparisons were made, and how many of them held
23type Tally is Data:
24 Tally{pass: Nat, total: Nat}