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 172–189

chCheckpoint

Full file
172def chCheckpoint =
173  (lambda unrestricted layout : (family CoordinateHostLayout) .
174    (eliminate
175      CoordinateHostLayout
176      (lambda unrestricted current : (family CoordinateHostLayout) .
177        (family NativeRegionCheckpoint))
178      layout
179      (branch
180        CoordinateHostLayoutOf
181        chPrediction
182        chResidual
183        chAcknowledgment
184        chCapture
185        chCommitted
186        chCheckpoint
187        numerics
188        .
189        chCheckpoint)))

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.