leancheck-0.8.0: test/diff/tiers-MapBoolBool.out

map length (tiers :: [[ Map Bool Bool ]])  =  [1,4,4]

length (list :: [ Map Bool Bool ])  =  9

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

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

tiers :: [Map Bool Bool]  =
  [ [Map []]
  , [ Map [(False,False)]
    , Map [(False,True)]
    , Map [(True,False)]
    , Map [(True,True)]
    ]
  , [ Map [(False,False),(True,False)]
    , Map [(False,False),(True,True)]
    , Map [(False,True),(True,False)]
    , Map [(False,True),(True,True)]
    ]
  ]