839def chWithLayout =
840 (lambda unrestricted numerics : Bytes .
841 (lambda unrestricted epoch : Nat .
842 (lambda unrestricted base : Nat .
843 (lambda unrestricted emit : (pi unrestricted layout : (family CoordinateHostLayout) . Bytes) .
844 (eliminate
845 StdResult
846 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
847 Bytes)
848 (planRegionFrameLayout
849 (chCombinePredictionIdentity numerics)
850 coordinateWordBytes
851 chFrameMaximumHeader
852 base
853 1048576)
854 (branch StdFailure error . b"")
855 (branch
856 StdSuccess
857 prediction
858 .
859 (eliminate
860 StdResult
861 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
862 Bytes)
863 (planRegionFrameLayout
864 (chCombineResidualIdentity numerics)
865 coordinateWordBytes
866 chFrameMaximumHeader
867 (frameAlign (frameEnd prediction))
868 1048576)
869 (branch StdFailure error . b"")
870 (branch
871 StdSuccess
872 residual
873 .
874 (eliminate
875 StdResult
876 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
877 Bytes)
878 (planRegionFrameLayout
879 (chIdentity numerics 2 1 0 b"updated-coordinate")
880 coordinateWordBytes
881 chFrameMaximumHeader
882 (frameAlign (frameEnd residual))
883 1048576)
884 (branch StdFailure error . b"")
885 (branch
886 StdSuccess
887 acknowledgment
888 .
889 (eliminate
890 StdResult
891 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
892 Bytes)
893 (planRegionFrameLayout
894 (chIdentity numerics 3 1 0 b"prepared-owned-state")
895 chStateBytes
896 chFrameMaximumHeader
897 (frameAlign (frameEnd acknowledgment))
898 1048576)
899 (branch StdFailure error . b"")
900 (branch
901 StdSuccess
902 capture
903 .
904 (eliminate
905 StdResult
906 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
907 Bytes)
908 (planRegionFrameLayout
909 (chIdentity numerics 4 0 1 b"manifest-published")
910 coordinateWordBytes
911 chFrameMaximumHeader
912 (frameAlign (frameEnd capture))
913 1048576)
914 (branch StdFailure error . b"")
915 (branch
916 StdSuccess
917 committed
918 .
919 (eliminate
920 StdResult
921 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
922 Bytes)
923 (planNativeRegionCheckpoint
924 (chContext numerics)
925 coordinateRegions
926 coordinatePartitions
927 epoch
928 (frameAlign (frameEnd committed))
929 1048576
930 (naturalMultiply
931 coordinateCount
932 (stdListLength
933 (family CheckpointLogicalRegion)
934 coordinateRegions)))
935 (branch StdFailure error . b"")
936 (branch
937 StdSuccess
938 checkpoint
939 .
940 (let unrestricted layout =
941 (constructor
942 CoordinateHostLayout
943 CoordinateHostLayoutOf
944 prediction
945 residual
946 acknowledgment
947 capture
948 committed
949 checkpoint
950 numerics)
951 in
952 (nat-eliminate
953 (lambda unrestricted admitted : Nat . Bytes)
954 b""
955 (lambda unrestricted previous : Nat .
956 (lambda unrestricted ignored : Bytes . (emit layout)))
957 (naturalAnd
958 (naturalAnd
959 (arenaCertificate (chExtent layout) (chResidents layout))
960 (naturalAnd
961 (chProtocolAdmitted layout)
962 (nativePeerPublicationAdmitted
963 (chPublication layout 0)
964 (chExtent layout)
965 0)))
966 (naturalAnd
967 (chRestoreAdmitted layout 0)
968 (chRestoreAdmitted layout 1)))))))))))))))))))))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.