949def peerCheckpointWithLayouts =
950 (lambda unrestricted worker : Nat .
951 (lambda unrestricted port : Nat .
952 (lambda unrestricted resume : Nat .
953 (lambda unrestricted steps : Nat .
954 (lambda unrestricted initial : (family RegionFrameLayout) .
955 (lambda unrestricted contribution : (family RegionFrameLayout) .
956 (lambda unrestricted updated : (family RegionFrameLayout) .
957 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
958 (lambda unrestricted work : Nat .
959 (eliminate
960 StdResult
961 (lambda unrestricted r : (family StdResult (family NativeCheckpointFailure) (family NativeCheckpointLayout)) .
962 Bytes)
963 (planNativeCheckpoint
964 peerCheckpointContract
965 (frameAlign (peerEndpointEnd (peerWorkEnd work)))
966 peerWordBytes
967 (naturalMultiply 2 peerWordBytes)
968 1048576)
969 (branch StdFailure error . b"")
970 (branch
971 StdSuccess
972 checkpoint
973 .
974 (eliminate
975 StdResult
976 (lambda unrestricted addressResult : (family StdResult (family SocketAddressFailure) Bytes) .
977 Bytes)
978 (linuxIPv4SocketAddress ipv4Loopback port)
979 (branch StdFailure error . b"")
980 (branch
981 StdSuccess
982 address
983 .
984 (nativePhysicalGenerateNativeELFBytesDirect
985 (peerProgram
986 peerEndpointSlots
987 (nativeCheckpointEnd checkpoint)
988 (peerCheckpointStart
989 checkpoint
990 initial
991 resume
992 (peerNativeSetup
993 worker
994 address
995 (peerWorkEnd work)
996 (peerImmediateTransmission
997 work
998 (peerUpdates
999 (nativeLaunchRecipeSlotValue peerConnectionSlot)
1000 worker
1001 0
1002 steps
1003 (frameNativeLoad (peerCheckpointEpochAt checkpoint))
1004 (frameNativeLoad (nativeCheckpointUpdatesAt checkpoint))
1005 initial
1006 contribution
1007 updated
1008 acknowledged
1009 work
1010 (peerCheckpointFinish
1011 checkpoint
1012 initial
1013 worker
1014 steps
1015 (nativeLaunchRecipeSlotValue peerConnectionSlot)))))))))))))))))))))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.