type Tally

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

import ezx@1.11.0.0/src/ez/test.bend as Test
import Base

22# how many comparisons were made, and how many of them held
23type Tally is Data:
24  Tally{pass: Nat, total: Nat}

Uses (1)

Used by (9)