2343def sm86ProgramEncodingAppend =
2344 (lambda unrestricted left : (family SM86ProgramEncodingResult) .
2345 (lambda unrestricted right : (family SM86ProgramEncodingResult) .
2346 (eliminate
2347 SM86ProgramEncodingResult
2348 (lambda unrestricted current : (family SM86ProgramEncodingResult) .
2349 (family SM86ProgramEncodingResult))
2350 left
2351 (branch
2352 SM86ProgramEncodingSucceeded
2353 leftBytes
2354 leftTelemetry
2355 .
2356 (eliminate
2357 SM86ProgramEncodingResult
2358 (lambda unrestricted current : (family SM86ProgramEncodingResult) .
2359 (family SM86ProgramEncodingResult))
2360 right
2361 (branch
2362 SM86ProgramEncodingSucceeded
2363 rightBytes
2364 rightTelemetry
2365 .
2366 (constructor
2367 SM86ProgramEncodingResult
2368 SM86ProgramEncodingSucceeded
2369 (bytes-builder-build
2370 (bytes-builder-append
2371 (bytes-builder-chunk leftBytes)
2372 (bytes-builder-chunk rightBytes)))
2373 (sm86MergeProgramTelemetry leftTelemetry rightTelemetry)))
2374 (branch
2375 SM86ProgramEncodingFailed
2376 rightFailureIndex
2377 rightFailure
2378 rightFailureTelemetry
2379 .
2380 (eliminate
2381 SM86ProgramEncodingTelemetry
2382 (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2383 (family SM86ProgramEncodingResult))
2384 leftTelemetry
2385 (branch
2386 SM86ProgramEncodingTelemetryValue
2387 leftInstructions
2388 leftOutputBytes
2389 leftFields
2390 leftBits
2391 leftHighest
2392 .
2393 (constructor
2394 SM86ProgramEncodingResult
2395 SM86ProgramEncodingFailed
2396 (naturalAdd leftInstructions rightFailureIndex)
2397 rightFailure
2398 (sm86MergeProgramTelemetry leftTelemetry rightFailureTelemetry)))))))
2399 (branch
2400 SM86ProgramEncodingFailed
2401 leftFailureIndex
2402 leftFailure
2403 leftFailureTelemetry
2404 .
2405 (constructor
2406 SM86ProgramEncodingResult
2407 SM86ProgramEncodingFailed
2408 leftFailureIndex
2409 leftFailure
2410 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.