leancheck-0.7.1: tests/diff/tiers-funlistable-Nat-Nat.out
map length (tiers :: [[ Nat->Nat ]]) = [0] length (list :: [ Nat->Nat ]) = 0 allUnique (list :: [ Nat->Nat ]) = True ratioRepetitions (list :: [ Nat->Nat ]) = 0 % 1 tiers :: [Nat->Nat] = [[]]
map length (tiers :: [[ Nat->Nat ]]) = [0] length (list :: [ Nat->Nat ]) = 0 allUnique (list :: [ Nat->Nat ]) = True ratioRepetitions (list :: [ Nat->Nat ]) = 0 % 1 tiers :: [Nat->Nat] = [[]]