leancheck-0.7.0: tests/diff/tiers-SetBool.out
tiers :: [Set Bool] =
[ [Set []]
, [ Set [False]
, Set [True]
]
, [Set [False,True]]
]
map length (tiers :: [[ Set Bool ]]) = [1,2,1]
length (list :: [ Set Bool ]) = 4
allUnique (list :: [ Set Bool ]) = True
ratioRepetitions (list :: [ Set Bool ]) = 0 % 1