leancheck-instances-0.0.1: test/diff/tiers-Natural.out

map length (tiers :: [[ Natural ]])  =  [1,1,1,1,1,1,1,1,1,1,1,1,...]

length (list :: [ Natural ])  =  Infinity

allUnique (list :: [ Natural ])  =  True

ratioRepetitions (list :: [ Natural ])  =  0 % 1

tiers :: [Natural]  =
  [ [0]
  , [1]
  , [2]
  , [3]
  , [4]
  , [5]
  , [6]
  , [7]
  , [8]
  , [9]
  , [10]
  , [11]
  , ...
  ]