2445def sm86ProgramEncodingAppend =
2446 (lambda unrestricted left : (family SM86ProgramEncodingResult) .
2447 (lambda unrestricted right : (family SM86ProgramEncodingResult) .
2448 (eliminate
2449 SM86ProgramEncodingResult
2450 (lambda unrestricted current : (family SM86ProgramEncodingResult) .
2451 (family SM86ProgramEncodingResult))
2452 left
2453 (branch
2454 SM86ProgramEncodingSucceeded
2455 leftBytes
2456 leftTelemetry
2457 .
2458 (eliminate
2459 SM86ProgramEncodingResult
2460 (lambda unrestricted current : (family SM86ProgramEncodingResult) .
2461 (family SM86ProgramEncodingResult))
2462 right
2463 (branch
2464 SM86ProgramEncodingSucceeded
2465 rightBytes
2466 rightTelemetry
2467 .
2468 (constructor
2469 SM86ProgramEncodingResult
2470 SM86ProgramEncodingSucceeded
2471 (bytes-builder-build
2472 (bytes-builder-append
2473 (bytes-builder-chunk leftBytes)
2474 (bytes-builder-chunk rightBytes)))
2475 (sm86MergeProgramTelemetry leftTelemetry rightTelemetry)))
2476 (branch
2477 SM86ProgramEncodingFailed
2478 rightFailureIndex
2479 rightFailure
2480 rightFailureTelemetry
2481 .
2482 (eliminate
2483 SM86ProgramEncodingTelemetry
2484 (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2485 (family SM86ProgramEncodingResult))
2486 leftTelemetry
2487 (branch
2488 SM86ProgramEncodingTelemetryValue
2489 leftInstructions
2490 leftOutputBytes
2491 leftFields
2492 leftBits
2493 leftHighest
2494 .
2495 (constructor
2496 SM86ProgramEncodingResult
2497 SM86ProgramEncodingFailed
2498 (naturalAdd leftInstructions rightFailureIndex)
2499 rightFailure
2500 (sm86MergeProgramTelemetry leftTelemetry rightFailureTelemetry)))))))
2501 (branch
2502 SM86ProgramEncodingFailed
2503 leftFailureIndex
2504 leftFailure
2505 leftFailureTelemetry
2506 .
2507 (constructor
2508 SM86ProgramEncodingResult
2509 SM86ProgramEncodingFailed
2510 leftFailureIndex
2511 leftFailure
2512 leftFailureTelemetry)))))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.