Test.LeanCheck.Stats

classStats

classStatsT

conditionStats

conditionStatsT

classify

classifyBy

classifyOn

counts

countsBy

countsOn