Source/Systems

PartitionedRegression.CoordinateHost

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

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7

def · lines 118–134

chAcknowledgment

Full file
118def chAcknowledgment =
119  (lambda unrestricted layout : (family CoordinateHostLayout) .
120    (eliminate
121      CoordinateHostLayout
122      (lambda unrestricted current : (family CoordinateHostLayout) . (family RegionFrameLayout))
123      layout
124      (branch
125        CoordinateHostLayoutOf
126        chPrediction
127        chResidual
128        chAcknowledgment
129        chCapture
130        chCommitted
131        chCheckpoint
132        numerics
133        .
134        chAcknowledgment)))

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.