leancheck-0.8.0: test/diff/tiers-default-MBool-MBool.out

map length (tiers :: [[ Maybe Bool->Maybe Bool ]])  =  [1,6,12,8]

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

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

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

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