243def nativePeerEdgeSetup =
244 (lambda unrestricted role : Nat .
245 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
246 (lambda unrestricted base : Nat .
247 (lambda unrestricted tail : (family NativePhysicalCommands) .
248 (nativePeerEdgesFold
249 edges
250 (lambda unrestricted index : Nat .
251 (lambda unrestricted edge : (family NativePeerEdge) .
252 (lambda unrestricted rest : (family NativePhysicalCommands) .
253 (frameNativeCopy
254 (nativePeerEdgeAddressAt base index)
255 (nativePeerEdgeAddressOf edge)
256 rest))))
257 (nativePeerEdgesFold
258 edges
259 (lambda unrestricted index : Nat .
260 (lambda unrestricted edge : (family NativePeerEdge) .
261 (lambda unrestricted rest : (family NativePhysicalCommands) .
262 (nativePeerEdgeWhenListening
263 role
264 edge
265 (nativePeerEdgeListen (nativePeerEdgeAddressAt base index) index rest)
266 rest))))
267 (nativePeerEdgesFold
268 edges
269 (lambda unrestricted index : Nat .
270 (lambda unrestricted edge : (family NativePeerEdge) .
271 (lambda unrestricted rest : (family NativePhysicalCommands) .
272 (nativePeerEdgeWhenListening
273 role
274 edge
275 (nativePeerPortWrite (nativePeerEdgeAddressAt base index) rest)
276 rest))))
277 (nativePeerEdgesFold
278 edges
279 (lambda unrestricted index : Nat .
280 (lambda unrestricted edge : (family NativePeerEdge) .
281 (lambda unrestricted rest : (family NativePhysicalCommands) .
282 (nativePeerEdgeEstablish role base index edge rest))))
283 tail))))))))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.