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

map length (tiers :: [[ Bool ]])  =  [2]

length (list :: [ Bool ])  =  2

allUnique (list :: [ Bool ])  =  True

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

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