590def niStart =
591 (lambda unrestricted slots : Nat .
592 (lambda unrestricted system : (family IndependentStateSystem slots) .
593 (lambda unrestricted layout : (family NativeIndependentLayout) .
594 (lambda unrestricted owner : Nat .
595 (lambda unrestricted extent : Nat .
596 (lambda unrestricted resume : Nat .
597 (lambda unrestricted tail : (family NativePhysicalCommands) .
598 (nat-eliminate
599 (lambda unrestricted mode : Nat .
600 (family
601 StdResult
602 (family NativeCheckpointFailure)
603 (family NativePhysicalCommands)))
604 (constructor
605 StdResult
606 StdSuccess
607 (family NativeCheckpointFailure)
608 (family NativePhysicalCommands)
609 (nativeMemoryStoreWord64
610 b"independent-version"
611 (niStateAt layout)
612 (nativeLaunchRecipeImmediate 0)
613 (nativeMemoryStoreWord64
614 b"independent-cursor"
615 (nativePointwiseAt (niStateAt layout) 1)
616 (nativeLaunchRecipeImmediate 0)
617 (nativeMemoryStoreWord64
618 b"independent-epoch"
619 (nativePointwiseAt (niStateAt layout) 2)
620 (nativeLaunchRecipeImmediate (nativeRegionEpoch (niCheckpoint layout)))
621 tail))))
622 (lambda unrestricted previous : Nat .
623 (lambda unrestricted ignored : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
624 (niRestore slots system layout owner extent tail)))
625 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.