leancheck-0.8.0: test/diff/tiers-Bool.out

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

length (list :: [ Bool ])  =  2

allUnique (list :: [ Bool ])  =  True

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

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