		Search-engine friendly clone of the ACL2 documentation.

Call-graphs

Qualified-ident

Fixtype for fully qualified identifiers

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

Fields

filepath? — c$::filepath-option
ident — ident

This type tags an identifiers with an optional filepath for the translation unit in which it was defined. This tagged identifier is unique across a translation unit ensemble.

Only identifiers with internal linkage are tagged with a filepath. External identifiers do not need qualification, as they are already unique across the translation unit ensemble.

Subtopics

Qualified-ident-fix: Fixing function for qualified-ident structures.
Qualified-ident-equiv: Basic equivalence relation for qualified-ident structures.
Qualified-identp: Recognizer for qualified-ident structures.
Make-qualified-ident: Basic constructor macro for qualified-ident structures.
Qualified-ident->filepath?: Get the filepath? field from a qualified-ident.
Qualified-ident->ident: Get the ident field from a qualified-ident.
Change-qualified-ident: Modifying constructor for qualified-ident structures.
Internal-ident
External-ident
Qualified-ident-internalp
Qualified-ident-externalp