leancheck-0.7.1: tests/diff/tiers-listsofpairs-Nat-U.out

map length (tiers :: [[ Nat->() ]])  =  [1,0,0,0,0,0,...]

length (list :: [ Nat->() ])  =  1

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

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

tiers :: [Nat->()]  =
  [ [ \x -> case x of
              0 -> ()
              1 -> ()
              2 -> ()
              3 -> ()
              4 -> ()
              5 -> ()
              6 -> ()
              7 -> ()
              ...
    ]
  , []
  , []
  , []
  , []
  , []
  , ...
  ]