82def chPrediction =
83 (lambda unrestricted layout : (family CoordinateHostLayout) .
84 (eliminate
85 CoordinateHostLayout
86 (lambda unrestricted current : (family CoordinateHostLayout) . (family RegionFrameLayout))
87 layout
88 (branch
89 CoordinateHostLayoutOf
90 chPrediction
91 chResidual
92 chAcknowledgment
93 chCapture
94 chCommitted
95 chCheckpoint
96 numerics
97 .
98 chPrediction)))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.