Reference forward semantics: select the table row named by the current raw
byte. Shape admission below makes the fallback unreachable for a valid
model value; it remains explicit so the function is total.
109def bobSelectLogitsRow =
110 (lambda unrestricted table : (family StdList (family StdList F32)) .
111 (lambda unrestricted currentByte : Byte .
112 (stdOptionValueOr
113 (family StdList F32)
114 bobEmptyLogits
115 (stdListIndex (family StdList F32) table (byte-to-nat currentByte)))))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.