554def nativePhysicalProgramComposeRelocateBinding =
555 (lambda unrestricted binding : (family NativePhysicalResultBinding) .
556 (lambda unrestricted resultBase : (family ModelWord64) .
557 (eliminate NativePhysicalResultBinding
558 (lambda unrestricted current : (family NativePhysicalResultBinding) .
559 (family NativePhysicalProgramComposeBindingResult))
560 binding
561 (branch NativePhysicalDiscardResult .
562 (constructor NativePhysicalProgramComposeBindingResult
563 NativePhysicalProgramComposeBindingRelocated binding zero zero))
564 (branch NativePhysicalStoreResult slot .
565 (eliminate NativePhysicalSlot
566 (lambda unrestricted current : (family NativePhysicalSlot) .
567 (family NativePhysicalProgramComposeBindingResult))
568 slot
569 (branch NativePhysicalSlotValue index .
570 (eliminate ModelWord64CheckedResult
571 (lambda unrestricted current : (family ModelWord64CheckedResult) .
572 (family NativePhysicalProgramComposeBindingResult))
573 (app (app modelWord64AddChecked resultBase) index)
574 (branch ModelWord64CheckedSucceeded shifted .
575 (constructor NativePhysicalProgramComposeBindingResult
576 NativePhysicalProgramComposeBindingRelocated
577 (constructor NativePhysicalResultBinding
578 NativePhysicalStoreResult
579 (constructor NativePhysicalSlot NativePhysicalSlotValue shifted))
580 (succ zero) (succ zero)))
581 (branch ModelWord64CheckedFailed error .
582 (constructor NativePhysicalProgramComposeBindingResult
583 NativePhysicalProgramComposeBindingRejected
584 (constructor NativePhysicalProgramComposeErrorCode
585 NativePhysicalProgramComposeArithmeticFailed
586 (constructor NativePhysicalProgramComposeAddressClass
587 NativePhysicalProgramComposeResultSlot)
588 error))))))))))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.