Owner 0 has an edge to every other owner, in order; every other owner has
one edge, to owner 0. `addresses` are those edges' addresses.
311def niEdges =
312 (lambda unrestricted slots : Nat .
313 (lambda unrestricted system : (family IndependentStateSystem slots) .
314 (lambda unrestricted owner : Nat .
315 (lambda unrestricted addresses : (family StdList Bytes) .
316 (nativePeerStarEdges owner 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.