137def nativeFiniteWordsCode =
138 (lambda unrestricted half : Nat .
139 (eliminate X86NativeAssemblyResult
140 (lambda unrestricted current : (family X86NativeAssemblyResult) . Bytes)
141 (x86NativeAssemble (nativeFiniteWordsAssembly half))
142 (branch X86NativeAssemblyEncoded code . code)
143 (branch X86NativeAssemblyEncodeDuplicateLabel name . b"")
144 (branch X86NativeAssemblyEncodeOffsetOverflow . b"")
145 (branch X86NativeAssemblyMissingLabel name . b"")
146 (branch X86NativeAssemblyDisplacementOutOfRange name . b"")))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.