99def nativePeerTreeListedAdmitted =
100 (lambda unrestricted fanout : Nat .
101 (lambda unrestricted owners : Nat .
102 (lambda unrestricted role : Nat .
103 (lambda unrestricted addresses : (family StdList Bytes) .
104 (naturalAnd
105 (participantTreeAdmitted fanout owners role)
106 (naturalAnd
107 (naturalEqual
108 (stdListLength Bytes addresses)
109 (stdListLength
110 (family NativePeerEdge)
111 (nativePeerTreeEdges fanout owners role (lambda unrestricted child : Nat . b""))))
112 (nativePeerEdgesAdmitted
113 role
114 (nativePeerTreeEdgesListed fanout owners role addresses))))))))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.