leancheck-1.0.2: bench/tiers-txt/SetBool.txt

map length (tiers :: [[ Set Bool ]])  =  [1,2,1]

length (list :: [ Set Bool ])  =  4

allUnique (list :: [ Set Bool ])  =  True

ratioRepetitions (list :: [ Set Bool ])  =  0 % 1

tiers :: [Set Bool]  =
  [ [Set []]
  , [ Set [False]
    , Set [True]
    ]
  , [Set [False,True]]
  ]