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

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

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

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

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

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