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

map length (tiers :: [[ Int->Int->Int->Int ]])  =  [1,1,7,25,...]

length (list :: [ Int->Int->Int->Int ])  =  Infinity

allUnique (list :: [ Int->Int->Int->Int ])  =  True

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

tiers :: [Int->Int->Int->Int]  =
  [ [\_ _ _ -> 0]
  , [\_ _ _ -> 1]
  , [ \x _ _ -> case x of
                0 -> 1
                _ -> 0
    , \x _ _ -> case x of
                0 -> 0
                _ -> 1
    , \_ y _ -> case y of
                0 -> 1
                _ -> 0
    , \_ y _ -> case y of
                0 -> 0
                _ -> 1
    , \_ _ z -> case z of
                0 -> 1
                _ -> 0
    , \_ _ z -> case z of
                0 -> 0
                _ -> 1
    , \_ _ _ -> -1
    ]
  , [ \x y _ -> case (x,y) of
                (0,0) -> 1
                _ -> 0
    , \x y _ -> case (x,y) of
                (_,0) -> 0
                (0,_) -> 1
                _ -> 0
    , \x _ z -> case (x,z) of
                (0,0) -> 1
                _ -> 0
    , \x _ z -> case (x,z) of
                (_,0) -> 0
                (0,_) -> 1
                _ -> 0
    , \x _ _ -> case x of
                0 -> -1
                _ -> 0
    , \x _ _ -> case x of
                1 -> 1
                _ -> 0
    , \x _ _ -> case x of
                1 -> 0
                _ -> 1
    , \x y _ -> case (x,y) of
                (0,_) -> 0
                (_,0) -> 1
                _ -> 0
    , \x y _ -> case (x,y) of
                (0,_) -> 0
                (_,0) -> 0
                _ -> 1
    , \x _ z -> case (x,z) of
                (0,_) -> 0
                (_,0) -> 1
                _ -> 0
    , \x _ z -> case (x,z) of
                (0,_) -> 0
                (_,0) -> 0
                _ -> 1
    , \x _ _ -> case x of
                0 -> 0
                _ -> -1
    , \_ y z -> case (y,z) of
                (0,0) -> 1
                _ -> 0
    , \_ y z -> case (y,z) of
                (_,0) -> 0
                (0,_) -> 1
                _ -> 0
    , \_ y _ -> case y of
                0 -> -1
                _ -> 0
    , \_ y _ -> case y of
                1 -> 1
                _ -> 0
    , \_ y _ -> case y of
                1 -> 0
                _ -> 1
    , \_ y z -> case (y,z) of
                (0,_) -> 0
                (_,0) -> 1
                _ -> 0
    , \_ y z -> case (y,z) of
                (0,_) -> 0
                (_,0) -> 0
                _ -> 1
    , \_ y _ -> case y of
                0 -> 0
                _ -> -1
    , \_ _ z -> case z of
                0 -> -1
                _ -> 0
    , \_ _ z -> case z of
                1 -> 1
                _ -> 0
    , \_ _ z -> case z of
                1 -> 0
                _ -> 1
    , \_ _ z -> case z of
                0 -> 0
                _ -> -1
    , \_ _ _ -> 2
    ]
  , ...
  ]