The producer owns the payload and may fill it before this fragment. A
complete socket write releases this local source; it is not a peer ACK.
275def nativeFrameSend =
276 (lambda unrestricted layout : (family RegionFrameLayout) .
277 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
278 (lambda unrestricted timeout : (family NativePhysicalOperand) .
279 (lambda unrestricted attempts : (family NativePhysicalOperand) .
280 (lambda unrestricted slot : Nat .
281 (lambda unrestricted tail : (family NativePhysicalCommands) .
282 (frameNativeRequirePhase
283 layout
284 (constructor NativeFramePhase NativeFrameUnissued)
285 (frameNativePhase
286 layout
287 (constructor NativeFramePhase NativeFrameActive)
288 (frameNativeCopyHeader
289 layout
290 slot
291 (frameNativeHash
292 layout
293 slot
294 (frameNativeIO
295 1
296 descriptor
297 (frameHeaderAt layout)
298 (frameContentBytes layout)
299 timeout
300 attempts
301 slot
302 (frameNativeIO
303 1
304 descriptor
305 (frameComputedAt layout)
306 regionFrameDigestBytes
307 timeout
308 attempts
309 slot
310 (frameNativePhase
311 layout
312 (constructor NativeFramePhase NativeFrameSent)
313 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.