Two coordinate owners: owner 0 publishes, owner 1 is its one peer over
the pair's single edge. A shard's owner is the coordinate its interval
holds; parameter and accumulator follow the capture prefix in that
owner's state, in ordinal order.
419def chPublication =
420 (lambda unrestricted layout : (family CoordinateHostLayout) .
421 (lambda unrestricted resume : Nat .
422 (constructor
423 NativePeerRegionPublication
424 NativePeerRegionPublicationOf
425 (chPublicationPlan layout resume)
426 1
427 (lambda unrestricted owner : Nat . (chCapture layout))
428 (lambda unrestricted owner : Nat . (chCommitted layout))
429 (lambda unrestricted peer : Nat . nativePeerConnectionSlot)
430 (chStateAt layout)
431 chStateBytes
432 nativeRegionCaptureBytes
433 (lambda unrestricted shard : (family NativeRegionShard) .
434 (naturalDivideUnchecked (intervalBegin (nativeRegionInterval shard)) coordinateWordBytes))
435 (lambda unrestricted shard : (family NativeRegionShard) .
436 (naturalAdd
437 nativeRegionCaptureBytes
438 (naturalMultiply (nativeRegionOrdinal shard) coordinateWordBytes)))
439 chPaths)))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.