leancheck-0.7.0: tests/diff/tiers-funlistable-Int-Int.out

tiers :: [Int->Int]  =
  [[]]

map length (tiers :: [[ Int->Int ]])  =  [0]

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

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

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