26family X86NativeUnsigned32SubtractResult : Type 0
27constructor X86NativeUnsigned32SubtractValue
28field unrestricted x86NativeUnsigned32Difference : (family X86NativeUnsigned32)
29field unrestricted x86NativeUnsigned32Borrow : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.