137def encodeSM86ControlLE =
138 (lambda unrestricted control : (family SM86Control) .
139 (eliminate
140 SM86Control
141 (lambda unrestricted value : (family SM86Control) . (family SM86ControlEncodingResult))
142 control
143 (branch
144 SM86ControlValue
145 stall
146 yieldMode
147 writeBarrier
148 readBarrier
149 waitMask
150 reuseMask
151 .
152 (eliminate
153 SM86ControlResult
154 (lambda unrestricted result : (family SM86ControlResult) .
155 (family SM86ControlEncodingResult))
156 (makeSM86Control stall yieldMode writeBarrier readBarrier waitMask reuseMask)
157 (branch
158 SM86ControlValidated
159 validated
160 .
161 (constructor
162 SM86ControlEncodingResult
163 SM86ControlEncoded
164 (encodeValidatedSM86ControlLE validated)))
165 (branch
166 SM86ControlFailed
167 code
168 .
169 (constructor SM86ControlEncodingResult SM86ControlEncodingFailed code))))))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.