leancheck-0.7.1: tests/diff/tiers-mixed-Bool-U.out

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

length (list :: [ Bool->() ])  =  2

allUnique (list :: [ Bool->() ])  =  False

ratioRepetitions (list :: [ Bool->() ])  =  1 % 2

tiers :: [Bool->()]  =
  [ [ \x -> case x of
              False -> ()
              True -> ()
    , \x -> case x of
              False -> ()
              True -> ()
    ]
  ]