leancheck-0.7.0: tests/diff/tiers.out

tiers :: [()]  =
  [[()]]

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

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

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

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