970def chStart =
971 (lambda unrestricted layout : (family CoordinateHostLayout) .
972 (lambda unrestricted worker : Nat .
973 (lambda unrestricted resume : Nat .
974 (lambda unrestricted tail : (family NativePhysicalCommands) .
975 (nat-eliminate
976 (lambda unrestricted mode : Nat . (family NativePhysicalCommands))
977 (chStore
978 (chVersion layout)
979 (nativeLaunchRecipeImmediate 0)
980 (chStore
981 (chCursor layout)
982 (nativeLaunchRecipeImmediate 0)
983 (chStore
984 (chEpoch layout)
985 (nativeLaunchRecipeImmediate (nativeRegionEpoch (chCheckpoint layout)))
986 (chNatural
987 (chWeight layout)
988 (naturalSelect worker 1 3)
989 (chNatural (chAccumulator layout) 0 tail)))))
990 (lambda unrestricted previous : Nat .
991 (lambda unrestricted ignored : (family NativePhysicalCommands) .
992 (eliminate
993 StdResult
994 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
995 (family NativePhysicalCommands))
996 (planNativeRegionRestore
997 (chCheckpoint layout)
998 (chArgument chManifestInputIndex)
999 (lambda unrestricted index : Nat .
1000 (chArgument (naturalAdd chInputShardBase index)))
1001 nativePeerListenerSlot
1002 nativePeerScratchSlot
1003 (chExtent layout)
1004 (chDestinations layout worker)
1005 (nativeMemoryCopyOperands
1006 (nativeMemoryState (chStateAt layout))
1007 (nativeMemoryState (nativeRegionCaptureAt (chCheckpoint layout)))
1008 nativeRegionCaptureBytes
1009 nativePeerScratchSlot
1010 b"coordinate-restore-capture"
1011 (nativeLaunchRecipeAssertEqual
1012 (nativeMemoryLoad (chVersion layout))
1013 (nativeMemoryLoad (chCursor layout))
1014 b"coordinate-input-position"
1015 (nativeCheckedWordAdd
1016 (nativeMemoryState (chEpoch layout))
1017 (nativeMemoryLoad (chEpoch layout))
1018 (nativeLaunchRecipeImmediate 1)
1019 nativePeerScratchSlot
1020 b"coordinate-epoch-overflow"
1021 tail))))
1022 (branch
1023 StdFailure
1024 error
1025 .
1026 (nativeLaunchRecipeAssertEqual
1027 (nativeLaunchRecipeImmediate 0)
1028 (nativeLaunchRecipeImmediate 1)
1029 b"coordinate-restore-admission"
1030 chEnd))
1031 (branch StdSuccess commands . commands))))
1032 resume)))))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.