AlphaGitHub
Source/Packages

Runtime.NativePeerEndpoint

packages/execution/src/Runtime/NativePeerEndpoint.alpha

405 lines36 declarations17.3 KiBSHA-256 3f09597de6f2
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 371–383

nativePeerEdgesOfPair

Full file
The two-role pair: role 0 listens for role 1 at `address`, role 1 connects to it. Same commands, slots and state as one admitted edge.
371def nativePeerEdgesOfPair =
372  (lambda unrestricted worker : Nat .
373    (lambda unrestricted address : Bytes .
374      (constructor
375        StdList
376        StdListCons
377        (family NativePeerEdge)
378        (constructor
379          NativePeerEdge
380          NativePeerEdgeOf
381          (naturalSelect (naturalIsZero worker) 1 0)
382          address)
383        (constructor StdList StdListEmpty (family NativePeerEdge)))))

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.