2266def sm86ProgramEncodingAppend =
2267 (lambda unrestricted left : (family SM86ProgramEncodingResult) .
2268 (lambda unrestricted right : (family SM86ProgramEncodingResult) .
2269 (eliminate
2270 SM86ProgramEncodingResult
2271 (lambda unrestricted current : (family SM86ProgramEncodingResult) .
2272 (family SM86ProgramEncodingResult))
2273 left
2274 (branch
2275 SM86ProgramEncodingSucceeded
2276 leftBytes
2277 leftTelemetry
2278 .
2279 (eliminate
2280 SM86ProgramEncodingResult
2281 (lambda unrestricted current : (family SM86ProgramEncodingResult) .
2282 (family SM86ProgramEncodingResult))
2283 right
2284 (branch
2285 SM86ProgramEncodingSucceeded
2286 rightBytes
2287 rightTelemetry
2288 .
2289 (constructor
2290 SM86ProgramEncodingResult
2291 SM86ProgramEncodingSucceeded
2292 (bytes-builder-build
2293 (bytes-builder-append
2294 (bytes-builder-chunk leftBytes)
2295 (bytes-builder-chunk rightBytes)))
2296 (sm86MergeProgramTelemetry leftTelemetry rightTelemetry)))
2297 (branch
2298 SM86ProgramEncodingFailed
2299 rightFailureIndex
2300 rightFailure
2301 rightFailureTelemetry
2302 .
2303 (eliminate
2304 SM86ProgramEncodingTelemetry
2305 (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2306 (family SM86ProgramEncodingResult))
2307 leftTelemetry
2308 (branch
2309 SM86ProgramEncodingTelemetryValue
2310 leftInstructions
2311 leftOutputBytes
2312 leftFields
2313 leftBits
2314 leftHighest
2315 .
2316 (constructor
2317 SM86ProgramEncodingResult
2318 SM86ProgramEncodingFailed
2319 (naturalAdd leftInstructions rightFailureIndex)
2320 rightFailure
2321 (sm86MergeProgramTelemetry leftTelemetry rightFailureTelemetry)))))))
2322 (branch
2323 SM86ProgramEncodingFailed
2324 leftFailureIndex
2325 leftFailure
2326 leftFailureTelemetry
2327 .
2328 (constructor
2329 SM86ProgramEncodingResult
2330 SM86ProgramEncodingFailed
2331 leftFailureIndex
2332 leftFailure
2333 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.