leancheck-1.0.2: bench/tiers-txt/default-Nat-U.txt

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->()]  =
  [ [\_ -> ()]
  , []
  , []
  , []
  , []
  , []
  , ...
  ]