		Search-engine friendly clone of the ACL2 documentation.

Abstract-syntax

Iconst

Fixtype of integer constants [C:6.4.4.1] [C:A.1.5].

This is a product type introduced by fty::defprod.

Fields

core — dec/oct/hex-const
suffix? — isuffix-option

This corresponds to integer-constant in the grammar in [C]. As mentioned in dec/oct/hex-const, our fixtypes are factored slightly differently. An integer constant consists of a decimal, octal, or hexadecimal constant, and of an optional integer suffix.

Subtopics

Iconst-fix: Fixing function for iconst structures.
Iconst-equiv: Basic equivalence relation for iconst structures.
Make-iconst: Basic constructor macro for iconst structures.
Iconst->suffix?: Get the suffix? field from a iconst.
Iconst->core: Get the core field from a iconst.
Change-iconst: Modifying constructor for iconst structures.
Iconstp: Recognizer for iconst structures.