238def x86NativePrependAssemblyBytes :
239 (pi unrestricted prefix : Bytes .
240 (pi unrestricted result : (family X86NativeAssemblyResult) . (family X86NativeAssemblyResult))) =
241 (lambda unrestricted prefix : Bytes .
242 (lambda unrestricted result : (family X86NativeAssemblyResult) .
243 (eliminate
244 X86NativeAssemblyResult
245 (lambda unrestricted value : (family X86NativeAssemblyResult) .
246 (family X86NativeAssemblyResult))
247 result
248 (branch
249 X86NativeAssemblyEncoded
250 encoded
251 .
252 (constructor
253 X86NativeAssemblyResult
254 X86NativeAssemblyEncoded
255 (bytes-append prefix encoded)))
256 (branch
257 X86NativeAssemblyEncodeDuplicateLabel
258 duplicateName
259 .
260 (constructor X86NativeAssemblyResult X86NativeAssemblyEncodeDuplicateLabel duplicateName))
261 (branch
262 X86NativeAssemblyEncodeOffsetOverflow
263 .
264 (constructor X86NativeAssemblyResult X86NativeAssemblyEncodeOffsetOverflow))
265 (branch
266 X86NativeAssemblyMissingLabel
267 missingName
268 .
269 (constructor X86NativeAssemblyResult X86NativeAssemblyMissingLabel missingName))
270 (branch
271 X86NativeAssemblyDisplacementOutOfRange
272 distantName
273 .
274 (constructor X86NativeAssemblyResult X86NativeAssemblyDisplacementOutOfRange distantName)))))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.