571def peerCommands =
572 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
573 (lambda unrestricted worker : Nat .
574 (lambda unrestricted initialWeight : Nat .
575 (lambda unrestricted wrongMean : Nat .
576 (lambda unrestricted steps : Nat .
577 (lambda unrestricted epoch : Nat .
578 (lambda unrestricted version : Nat .
579 (lambda unrestricted initial : (family RegionFrameLayout) .
580 (lambda unrestricted contribution : (family RegionFrameLayout) .
581 (lambda unrestricted updated : (family RegionFrameLayout) .
582 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
583 (lambda unrestricted work : Nat .
584 (peerNatural
585 (framePayloadAt initial)
586 initialWeight
587 (peerUpdates
588 descriptor
589 worker
590 wrongMean
591 steps
592 (nativeLaunchRecipeImmediate epoch)
593 (nativeLaunchRecipeImmediate version)
594 initial
595 contribution
596 updated
597 acknowledged
598 work
599 (peerOutput descriptor (framePayloadAt initial))))))))))))))))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.