Version and cursor advance only after the target's step returns. These
address-based owners serve every topology (star and hierarchy).
511def niAdvanceAt =
512 (lambda unrestricted stateAt : Nat .
513 (lambda unrestricted tail : (family NativePhysicalCommands) .
514 (nativeCheckedWordAdd
515 (nativeMemoryState stateAt)
516 (nativeMemoryLoad stateAt)
517 (nativeLaunchRecipeImmediate 1)
518 nativePeerScratchSlot
519 b"independent-version-overflow"
520 (nativeCheckedWordAdd
521 (nativeMemoryState (nativePointwiseAt stateAt 1))
522 (nativeMemoryLoad (nativePointwiseAt stateAt 1))
523 (nativeLaunchRecipeImmediate 1)
524 nativePeerScratchSlot
525 b"independent-cursor-overflow"
526 tail))))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.