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

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

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

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

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

tiers :: [Nat->()]  =
  [[]]