We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f1229e1 commit 5ef67fbCopy full SHA for 5ef67fb
document/core/syntax/values.rst
@@ -61,7 +61,7 @@ Different classes of *integers* with different value ranges are distinguished by
61
\uN \\
62
\end{array}
63
64
-The latter class defines *uninterpreted* integers, whose signedness interpretation can vary depending on context.
+The class |iN| defines *uninterpreted* integers, whose signedness interpretation can vary depending on context.
65
In the abstract syntax, they are represented as unsigned values.
66
However, some operations :ref:`convert <aux-signed>` them to signed based on a two's complement interpretation.
67
0 commit comments