154def chCommitted =
155 (lambda unrestricted layout : (family CoordinateHostLayout) .
156 (eliminate
157 CoordinateHostLayout
158 (lambda unrestricted current : (family CoordinateHostLayout) . (family RegionFrameLayout))
159 layout
160 (branch
161 CoordinateHostLayoutOf
162 chPrediction
163 chResidual
164 chAcknowledgment
165 chCapture
166 chCommitted
167 chCheckpoint
168 numerics
169 .
170 chCommitted)))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.