leancheck-1.0.2: bench/tiers-txt/4cases-Nat2-Nat3.txt

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

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

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

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

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