@@ -1829,11 +1829,10 @@ type. @xref{Ref.Mem.Slot}. The interpretation of a value includes:
1829
1829
@item Whether the value is mutable or immutable.
1830
1830
@end itemize
1831
1831
1832
- For example, the type @code {rec(u8 x , u8 y) } defines the
1833
- interpretation of values that are composite records, each containing
1834
- two unsigned two's complement 8-bit integers accessed through the
1835
- components @code {x } and @code {y }, and laid out in memory with the
1836
- @code {x } component preceding the @code {y } component.
1832
+ For example, the type @code {rec(u8 x , u8 y) } defines the interpretation of
1833
+ values that are composite records, each containing two unsigned 8-bit
1834
+ integers accessed through the components @code {x } and @code {y }, and laid
1835
+ out in memory with the @code {x } component preceding the @code {y } component.
1837
1836
1838
1837
Some types are @emph {recursive }. A recursive type is one that includes
1839
1838
its own definition as a component, by named reference. Recursive types
@@ -1903,8 +1902,8 @@ The machine types are the following:
1903
1902
1904
1903
@itemize
1905
1904
@item
1906
- The unsigned two's complement word types @code {u8 }, @code {u16 }, @code {u32 } and
1907
- @code { u64 }, with values drawn from the integer intervals
1905
+ The unsigned word types @code {u8 }, @code {u16 }, @code {u32 } and @code { u64 },
1906
+ with values drawn from the integer intervals
1908
1907
@iftex
1909
1908
@math {[0 , 2^8 - 1] },
1910
1909
@math {[0 , 2^ {16 } - 1]},
@@ -1951,7 +1950,7 @@ The IEEE 754 single-precision and double-precision floating-point types:
1951
1950
1952
1951
1953
1952
The Rust type @code {uint }@footnote {A Rust @code {uint } is analogous to a C99
1954
- @code {uintptr_t }. } is a two's complement unsigned integer type with with
1953
+ @code {uintptr_t }. } is an unsigned integer type with with
1955
1954
target-machine-dependent size. Its size, in bits, is equal to the number of
1956
1955
bits required to hold any memory address on the target machine.
1957
1956
0 commit comments