leancheck-0.7.0: tests/diff/tiers-SetU.out

tiers :: [Set ()]  =
  [ [Set []]
  , [Set [()]]
  ]

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

length (list :: [ Set () ])  =  2

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

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