leancheck-0.8.0: test/diff/tiers-4cases-Nat3-Nat2.out

map length (tiers :: [[ Nat3->Nat2 ]])  =  [1,3,3,1]

length (list :: [ Nat3->Nat2 ])  =  8

allUnique (list :: [ Nat3->Nat2 ])  =  True

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

tiers :: [Nat3->Nat2]  =
  [ [\_ -> 0]
  , [ \x -> case x of 2 -> 1; _ -> 0
    , \x -> case x of 1 -> 1; _ -> 0
    , \x -> case x of 0 -> 1; _ -> 0
    ]
  , [ \x -> case x of 0 -> 0; _ -> 1
    , \x -> case x of 1 -> 0; _ -> 1
    , \x -> case x of 2 -> 0; _ -> 1
    ]
  , [\_ -> 1]
  ]