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

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

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

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

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

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