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

map length (tiers :: [[ ()->() ]])  =  [1]

length (list :: [ ()->() ])  =  1

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

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

tiers :: [()->()]  =
  [[\_ -> ()]]