956def nativeTelemetryPolicyInitializeWithIdentity =
957 (lambda unrestricted initialize : (pi unrestricted applicationBytes : Nat . (pi unrestricted ordinary : Nat . (pi unrestricted reserved : Nat . (pi unrestricted result : Nat . (pi unrestricted identity : Bytes . (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands))))))) .
958 (lambda unrestricted applicationBytes : Nat .
959 (lambda unrestricted ordinaryCapacity : Nat .
960 (lambda unrestricted reservedCapacity : Nat .
961 (lambda unrestricted required : Nat .
962 (lambda unrestricted decisionAt : Nat .
963 (lambda unrestricted resultSlot : Nat .
964 (lambda unrestricted identity : Bytes .
965 (lambda unrestricted tail : (family NativePhysicalCommands) .
966 (nativeLaunchRecipeCommand
967 (constructor
968 NativePhysicalOperation
969 NativePhysicalCopyPayloadToState
970 (modelWord64FromNaturalTruncated (captureControlAt applicationBytes))
971 (modelWord64FromNaturalTruncated
972 (bytes-length
973 (captureInitialControl ordinaryCapacity reservedCapacity required)))
974 (captureInitialControl ordinaryCapacity reservedCapacity required))
975 identity
976 (nativeLaunchRecipeCommand
977 (constructor
978 NativePhysicalOperation
979 NativePhysicalCopyPayloadToState
980 (modelWord64FromNaturalTruncated
981 (publicationBase applicationBytes ordinaryCapacity reservedCapacity))
982 (modelWord64FromNaturalTruncated
983 (bytes-length (dataBytesRepeatByte (byte 0) publicationStateBytes)))
984 (dataBytesRepeatByte (byte 0) publicationStateBytes))
985 identity
986 (nativeLaunchRecipeCommand
987 (constructor
988 NativePhysicalOperation
989 NativePhysicalStoreWord64
990 (nativeTelemetryPolicyState decisionAt)
991 (nativeLaunchRecipeImmediate 4))
992 identity
993 (initialize
994 applicationBytes
995 ordinaryCapacity
996 reservedCapacity
997 resultSlot
998 identity
999 tail)))))))))))))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.