325def niPublication =
326 (lambda unrestricted slots : Nat .
327 (lambda unrestricted system : (family IndependentStateSystem slots) .
328 (lambda unrestricted layout : (family NativeIndependentLayout) .
329 (lambda unrestricted resume : Nat .
330 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
331 (constructor
332 NativePeerRegionPublication
333 NativePeerRegionPublicationOf
334 (constructor
335 NativeRegionCheckpoint
336 NativeRegionCheckpointOf
337 (nativeRegionManifest (niCheckpoint layout))
338 (nativeRegionShards (niCheckpoint layout))
339 (naturalAdd (nativeRegionEpoch (niCheckpoint layout)) resume)
340 (nativeRegionEnd (niCheckpoint layout)))
341 (naturalPredecessor (niOwners slots system))
342 (niCaptureFor slots system layout)
343 (niCommittedFor slots system layout)
344 (nativePeerEdgeConnectionTo edges)
345 (niStateAt layout)
346 (niCaptureBytes slots system)
347 nativeRegionCaptureBytes
348 (lambda unrestricted shard : (family NativeRegionShard) .
349 (naturalDivideUnchecked
350 (intervalBegin (nativeRegionInterval shard))
351 (niWidth slots system)))
352 (lambda unrestricted shard : (family NativeRegionShard) . nativeRegionCaptureBytes)
353 (niPaths slots system)))))))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.