AlphaGitHub
Source/Systems

PartitionedRegression.CoordinateHost

systems/partitioned-regression/src/PartitionedRegression/CoordinateHost.alpha

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 404–413

chPublicationPlan

Full file
404def chPublicationPlan =
405  (lambda unrestricted layout : (family CoordinateHostLayout) .
406    (lambda unrestricted resume : Nat .
407      (constructor
408        NativeRegionCheckpoint
409        NativeRegionCheckpointOf
410        (nativeRegionManifest (chCheckpoint layout))
411        (nativeRegionShards (chCheckpoint layout))
412        (naturalAdd (nativeRegionEpoch (chCheckpoint layout)) resume)
413        (nativeRegionEnd (chCheckpoint layout)))))

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.