171def nativePeerEdgeWhenListening =
172 (lambda unrestricted role : Nat .
173 (lambda unrestricted edge : (family NativePeerEdge) .
174 (lambda unrestricted listening : (family NativePhysicalCommands) .
175 (lambda unrestricted connecting : (family NativePhysicalCommands) .
176 (nat-eliminate
177 (lambda unrestricted current : Nat . (family NativePhysicalCommands))
178 connecting
179 (lambda unrestricted previous : Nat .
180 (lambda unrestricted ignored : (family NativePhysicalCommands) . listening))
181 (nativePeerEdgeListens role edge))))))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.