the prediction rows' logits and their greedy tokens
2207def cgPredictionRows : (family StdList Nat) =
2208 (constructor
2209 StdList
2210 StdListCons
2211 Nat
2212 coppeliusPredictionRow0
2213 (constructor
2214 StdList
2215 StdListCons
2216 Nat
2217 coppeliusPredictionRow1
2218 (constructor
2219 StdList
2220 StdListCons
2221 Nat
2222 coppeliusPredictionRow2
2223 (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.