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

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

length (list :: [ Maybe Bool->Bool ])  =  Infinity

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

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

tiers :: [Maybe Bool->Bool]  =
  [ [ \x -> case x of
              Nothing -> False
              Just False -> False
              Just True -> False
    , \x -> case x of
              Nothing -> False
              Just False -> False
              Just True -> True
    , \x -> case x of
              Nothing -> False
              Just False -> True
              Just True -> False
    , \x -> case x of
              Nothing -> False
              Just False -> True
              Just True -> True
    , \x -> case x of
              Nothing -> True
              Just False -> False
              Just True -> False
    , \x -> case x of
              Nothing -> True
              Just False -> False
              Just True -> True
    , \x -> case x of
              Nothing -> True
              Just False -> True
              Just True -> False
    , \x -> case x of
              Nothing -> True
              Just False -> True
              Just True -> True
    , \x -> case x of
              Nothing -> False
              Just False -> False
              Just True -> False
    , \x -> case x of
              Nothing -> False
              Just False -> True
              Just True -> False
    , \x -> case x of
              Nothing -> False
              Just False -> False
              Just True -> True
    , \x -> case x of
              Nothing -> False
              Just False -> True
              Just True -> True
    , \x -> case x of
              Nothing -> True
              Just False -> False
              Just True -> False
    , \x -> case x of
              Nothing -> True
              Just False -> True
              Just True -> False
    , \x -> case x of
              Nothing -> True
              Just False -> False
              Just True -> True
    , \x -> case x of
              Nothing -> True
              Just False -> True
              Just True -> True
    ]
  ]