the prediction rows' logits and their greedy tokens
2208def cgPredictionRows : (family StdList Nat) =
2209 (constructor
2210 StdList
2211 StdListCons
2212 Nat
2213 coppeliusPredictionRow0
2214 (constructor
2215 StdList
2216 StdListCons
2217 Nat
2218 coppeliusPredictionRow1
2219 (constructor
2220 StdList
2221 StdListCons
2222 Nat
2223 coppeliusPredictionRow2
2224 (constructor StdList StdListEmpty Nat))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.