96def x86NativeAdvanceLayout :
97 (pi unrestricted encoded : Bytes .
98 (pi unrestricted offset : (family X86NativeUnsigned32) .
99 (pi unrestricted continuation : (pi unrestricted nextOffset : (family X86NativeUnsigned32) . (family X86NativeAssemblyLayoutResult)) .
100 (family X86NativeAssemblyLayoutResult)))) =
101 (lambda unrestricted encoded : Bytes .
102 (lambda unrestricted offset : (family X86NativeUnsigned32) .
103 (lambda unrestricted continuation : (pi unrestricted nextOffset : (family X86NativeUnsigned32) . (family X86NativeAssemblyLayoutResult)) .
104 (eliminate
105 X86NativeUnsigned32Result
106 (lambda unrestricted result : (family X86NativeUnsigned32Result) .
107 (family X86NativeAssemblyLayoutResult))
108 (x86NativeAdvanceUnsigned32ByBytes offset encoded)
109 (branch X86NativeUnsigned32Success nextOffset . (continuation nextOffset))
110 (branch
111 X86NativeUnsigned32Overflow
112 .
113 (constructor X86NativeAssemblyLayoutResult X86NativeAssemblyOffsetOverflow))))))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.