526def x86NativeAssemble :
527 (pi unrestricted assembly : (family X86NativeAssembly) . (family X86NativeAssemblyResult)) =
528 (lambda unrestricted assembly : (family X86NativeAssembly) .
529 (eliminate
530 X86NativeAssemblyLayoutResult
531 (lambda unrestricted layout : (family X86NativeAssemblyLayoutResult) .
532 (family X86NativeAssemblyResult))
533 (x86NativeLayoutAssembly assembly)
534 (branch
535 X86NativeAssemblyLayoutSuccess
536 labels
537 size
538 .
539 (x86NativeEncodeAssemblyFrom assembly labels x86NativeUnsigned32Zero))
540 (branch
541 X86NativeAssemblyDuplicateLabel
542 duplicateName
543 .
544 (constructor X86NativeAssemblyResult X86NativeAssemblyEncodeDuplicateLabel duplicateName))
545 (branch
546 X86NativeAssemblyOffsetOverflow
547 .
548 (constructor X86NativeAssemblyResult X86NativeAssemblyEncodeOffsetOverflow))))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.