339def linearStepSM86MachineBytes : Bytes =
340 (eliminate SM86ProgramEncodingResult
341 (lambda unrestricted current : (family SM86ProgramEncodingResult) . Bytes)
342 (sm86EncodeProgram linearStepSM86Program)
343 (branch SM86ProgramEncodingSucceeded bytes telemetry . bytes)
344 (branch SM86ProgramEncodingFailed index 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.