leancheck-0.8.0: test/diff/tiers-default-Bool-U.out

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

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

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

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

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