100def chResidual =
101 (lambda unrestricted layout : (family CoordinateHostLayout) .
102 (eliminate
103 CoordinateHostLayout
104 (lambda unrestricted current : (family CoordinateHostLayout) . (family RegionFrameLayout))
105 layout
106 (branch
107 CoordinateHostLayoutOf
108 chPrediction
109 chResidual
110 chAcknowledgment
111 chCapture
112 chCommitted
113 chCheckpoint
114 numerics
115 .
116 chResidual)))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.