589def nativeRegionPublish =
590 (lambda unrestricted plan : (family NativeRegionCheckpoint) .
591 (lambda unrestricted captureAt : Nat .
592 (lambda unrestricted path : (pi unrestricted index : Nat . (family NativePhysicalOperand)) .
593 (lambda unrestricted candidate : (family NativePhysicalOperand) .
594 (lambda unrestricted committed : (family NativePhysicalOperand) .
595 (lambda unrestricted directory : (family NativePhysicalOperand) .
596 (lambda unrestricted descriptor : Nat .
597 (lambda unrestricted scratch : Nat .
598 (lambda unrestricted stages : Nat .
599 (lambda unrestricted tail : (family NativePhysicalCommands) .
600 (nativeMemoryCopyOperands
601 (nativeMemoryState (nativeRegionCaptureAt plan))
602 (nativeMemoryState captureAt)
603 nativeRegionCaptureBytes
604 scratch
605 b"checkpoint-capture-copy"
606 (nativeRegionRequireEpoch
607 plan
608 (nativeRegionLoadShards
609 plan
610 path
611 descriptor
612 scratch
613 1
614 (nativeCheckpointPublish
615 (nativeRegionManifest plan)
616 candidate
617 committed
618 directory
619 descriptor
620 scratch
621 stages
622 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.