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 1588–1595

cpCheckpoint

Full file
1588def cpCheckpoint =
1589  (lambda unrestricted layout : (family CoordinatePredictionLayout) .
1590    (eliminate
1591      CoordinatePredictionLayout
1592      (lambda unrestricted current : (family CoordinatePredictionLayout) .
1593        (family NativeRegionCheckpoint))
1594      layout
1595      (branch CoordinatePredictionLayoutOf checkpoint . checkpoint)))

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.