406def peerAdvance =
407 (lambda unrestricted worker : Nat .
408 (lambda unrestricted initial : (family RegionFrameLayout) .
409 (lambda unrestricted contribution : (family RegionFrameLayout) .
410 (lambda unrestricted updated : (family RegionFrameLayout) .
411 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
412 (lambda unrestricted tail : (family NativePhysicalCommands) .
413 (let unrestricted sent =
414 (constructor NativeFrameTerminal NativeFrameSendComplete)
415 in
416 (let unrestricted consumed =
417 (constructor NativeFrameTerminal NativeFrameConsumeComplete)
418 in
419 (peerByRole
420 worker
421 (nativeFrameAdvance
422 initial
423 sent
424 0
425 (nativeFrameAdvance
426 contribution
427 consumed
428 0
429 (nativeFrameAdvance
430 updated
431 sent
432 0
433 (nativeFrameAdvance acknowledged consumed 0 tail))))
434 (nativeFrameAdvance
435 initial
436 consumed
437 0
438 (nativeFrameAdvance
439 contribution
440 sent
441 0
442 (nativeFrameAdvance
443 updated
444 consumed
445 0
446 (nativeFrameAdvance acknowledged sent 0 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.