60def bobArgmaxMachineBytes : Bytes =
61 (eliminate
62 SM86ProgramEncodingResult
63 (lambda unrestricted current : (family SM86ProgramEncodingResult) . Bytes)
64 (sm86EncodeProgram greedyArgmaxSM86ByteVocabularyProgram)
65 (branch SM86ProgramEncodingSucceeded image telemetry . image)
66 (branch SM86ProgramEncodingFailed ordinal failure telemetry . b""))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.