743def repeatedArtifactAdmitted =
744 (lambda unrestricted endpoint : Nat .
745 (lambda unrestricted port : Nat .
746 (lambda unrestricted worker : Nat .
747 (lambda unrestricted initialWeight : Nat .
748 (lambda unrestricted wrongMean : Nat .
749 (lambda unrestricted steps : Nat .
750 (lambda unrestricted epoch : Nat .
751 (lambda unrestricted version : Nat .
752 (peerLayouts
753 (lambda unrestricted initial : (family RegionFrameLayout) .
754 (lambda unrestricted contribution : (family RegionFrameLayout) .
755 (lambda unrestricted updated : (family RegionFrameLayout) .
756 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
757 (lambda unrestricted work : Nat .
758 (peerWithTransport
759 endpoint
760 worker
761 initialWeight
762 wrongMean
763 port
764 steps
765 epoch
766 version
767 initial
768 contribution
769 updated
770 acknowledged
771 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.