538def peerUpdates =
539 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
540 (lambda unrestricted worker : Nat .
541 (lambda unrestricted wrongMean : Nat .
542 (lambda unrestricted steps : Nat .
543 (lambda unrestricted epoch : (family NativePhysicalOperand) .
544 (lambda unrestricted version : (family NativePhysicalOperand) .
545 (lambda unrestricted initial : (family RegionFrameLayout) .
546 (lambda unrestricted contribution : (family RegionFrameLayout) .
547 (lambda unrestricted updated : (family RegionFrameLayout) .
548 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
549 (lambda unrestricted work : Nat .
550 (peerUpdatesWith
551 (peerHostContribution
552 worker
553 (framePayloadAt initial)
554 (naturalSelect
555 worker
556 (framePayloadAt contribution)
557 (framePayloadAt updated))
558 work)
559 descriptor
560 worker
561 wrongMean
562 steps
563 epoch
564 version
565 initial
566 contribution
567 updated
568 acknowledged
569 work))))))))))))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.