865def nativeIndependentEvaluation =
866 (lambda unrestricted target : (family NativeHostTarget) .
867 (lambda unrestricted resources : (family NativeResourceContext) .
868 (lambda unrestricted slots : Nat .
869 (lambda unrestricted system : (family IndependentStateSystem slots) .
870 (lambda unrestricted epoch : Nat .
871 (lambda unrestricted program : (family StdList (family PointwiseAssignment StdU64 (naturalMultiply (niOwners slots system) (independentPersistentCount slots system)))) .
872 (lambda unrestricted available : Nat .
873 (eliminate
874 StdResult
875 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
876 Bytes)
877 (planNativeRegionCheckpoint
878 (niContext slots system)
879 (niRegions slots system)
880 (niPartitions slots system)
881 epoch
882 0
883 available
884 (niOwners slots system))
885 (branch StdFailure error . b"")
886 (branch
887 StdSuccess
888 checkpoint
889 .
890 (let unrestricted width =
891 (naturalMultiply
892 (niOwners slots system)
893 (independentPersistentCount slots system))
894 in
895 (let unrestricted base =
896 (nativeRegionEnd checkpoint)
897 in
898 (let unrestricted extent =
899 (nativePointwiseExtent width program base)
900 in
901 (nat-eliminate
902 (lambda unrestricted valid : Nat . Bytes)
903 b""
904 (lambda unrestricted previous : Nat .
905 (lambda unrestricted ignored : Bytes .
906 (eliminate
907 StdResult
908 (lambda unrestricted result : (family StdResult Bytes (family NativePhysicalCommands)) .
909 Bytes)
910 (planNativePointwiseProgram
911 width
912 program
913 base
914 extent
915 nativePeerScratchSlot
916 niEnd)
917 (branch StdFailure error . b"")
918 (branch
919 StdSuccess
920 evaluated
921 .
922 (eliminate
923 StdResult
924 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
925 Bytes)
926 (niEvaluationCommands
927 (niPaths slots system)
928 width
929 checkpoint
930 base
931 extent
932 (lambda unrestricted tail : (family NativePhysicalCommands) .
933 tail)
934 (nativePhysicalProgramComposeCommandsAppend evaluated)
935 (lambda unrestricted tail : (family NativePhysicalCommands) .
936 tail)
937 (lambda unrestricted tail : (family NativePhysicalCommands) .
938 tail))
939 (branch StdFailure error . b"")
940 (branch
941 StdSuccess
942 commands
943 .
944 (nativeHostTargetResourceArtifact
945 target
946 resources
947 (niProgramFor nativePeerEndpointSlots extent commands))))))))
948 (naturalAnd
949 (independentStateAdmitted slots system)
950 (naturalAnd
951 (niOwnersAdmitted slots system)
952 (naturalLessOrEqual extent available))))))))))))))))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.