• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
        • Crypto-hdwallet
        • Apt
        • Error-checking
        • Fty-extensions
        • Isar
        • Kestrel-utilities
        • Set
        • Soft
        • C
          • Syntax-for-tools
            • Disambiguator
              • Dimb-exprs/decls/stmts
              • Dimb-make/adjust-expr-binary
              • Dimb-transunit
              • Dimb-params-to-names
              • Dimb-cast/call-to-call
              • Dimb-make/adjust-expr-cast
              • Dimb-fundef
              • Dimb-make/adjust-expr-unary
              • Dimb-expr
              • Dimb-dirdeclor
              • Dimb-amb-declor/absdeclor
              • Dimb-cast/call-to-cast
              • Dimb-cast/addsub-to-cast
              • Dimb-cast/addsub-to-addsub
              • Dimb-transunit-ensemble
              • Dimb-add-ident
              • Dimb-kind
                • Dimb-kind-case
                • Dimb-kind-fix
                • Dimb-kind-equiv
                • Dimb-kindp
                • Dimb-kind-typedef
                • Dimb-kind-objfun
                • Dimb-kind-kind
                • Dimb-kind-enumconst
              • Dimb-declor
              • Dimb-amb-expr/tyname
              • Dimb-cast/mul-to-cast
              • Dimb-cast/and-to-cast
              • Dimb-cast/mul-to-mul
              • Dimb-cast/and-to-and
              • Dimb-kind-option
              • Dimb-type-spec
              • Dimb-extdecl-list
              • Dimb-extdecl
              • Dimb-lookup-ident
              • Dimb-param-declor
              • Dimb-decl-spec
              • Dimb-add-idents-objfun
              • Dimb-param-declon
              • Dimb-add-ident-objfun
              • Dimb-table
              • Dimb-amb-decl/stmt
              • Dimb-pop-scope
              • Dimb-push-scope
              • Dimb-initdeclor
              • Dimb-declor-option
              • Dimb-enumspec
              • Dimb-decl
              • Dimb-stmt
              • Dimb-scope
              • Dimb-structdeclor
              • Dimb-initdeclor-list
              • Dimb-decl-spec-list
              • Dimb-absdeclor
              • Dimb-init-table
              • Dimb-dirabsdeclor
              • Dimb-align-spec
              • Dimb-strunispec
              • Irr-dimb-table
              • Irr-dimb-kind
              • Dimb-spec/qual-list
              • Dimb-spec/qual
              • Dimb-param-declon-list
              • Dimb-label
              • Dimb-enumer-list
              • Dimb-enumer
              • Dimb-dirabsdeclor-option
              • Dimb-block-item
              • Dimb-structdeclor-list
              • Dimb-structdecl-list
              • Dimb-statassert
              • Dimb-desiniter-list
              • Dimb-desiniter
              • Dimb-decl-list
              • Dimb-const-expr-option
              • Dimb-absdeclor-option
              • Dimb-structdecl
              • Dimb-member-designor
              • Dimb-initer-option
              • Dimb-initer
              • Dimb-genassoc-list
              • Dimb-genassoc
              • Dimb-expr-option
              • Dimb-expr-list
              • Dimb-designor-list
              • Dimb-designor
              • Dimb-const-expr
              • Dimb-block-item-list
              • Dimb-tyname
            • Abstract-syntax
            • Parser
            • Validator
            • Printer
            • Formalized-subset
            • Mapping-to-language-definition
            • Input-files
            • Defpred
            • Output-files
            • Abstract-syntax-operations
            • Validation-information
            • Implementation-environments
            • Concrete-syntax
            • Unambiguity
            • Ascii-identifiers
            • Preprocessing
            • Abstraction-mapping
          • Atc
          • Language
          • Representation
          • Transformation-tools
          • Insertion-sort
          • Pack
        • Bv
        • Imp-language
        • Event-macros
        • Java
        • Bitcoin
        • Ethereum
        • Yul
        • Zcash
        • ACL2-programming-language
        • Prime-fields
        • Json
        • Syntheto
        • File-io-light
        • Cryptography
        • Number-theory
        • Lists-light
        • Axe
        • Builtins
        • Solidity
        • Helpers
        • Htclient
        • Typed-lists-light
        • Arithmetic-light
      • X86isa
      • Axe
      • Execloader
    • Math
    • Testing-utilities
  • Disambiguator

Dimb-kind

Fixtype of kinds of identifiers in disambiguation tables.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types
:typedef → dimb-kind-typedef
:objfun → dimb-kind-objfun
:enumconst → dimb-kind-enumconst

For each identifier in the disambiguation table, we track whether the identifier (i) a typedef name, or (ii) an object or function, or (iii) an enumeration constant. Not all identifiers fit these categories; for instance, structure and union tags correspond to none of the above. However, for disambiguation purposes, we do not need to track all identifiers, but just the kinds just listed. Note also that we do not need to distinguish between objects and functions, as they are treated the same for disambiguation purposes.

Subtopics

Dimb-kind-case
Case macro for the different kinds of dimb-kind structures.
Dimb-kind-fix
Fixing function for dimb-kind structures.
Dimb-kind-equiv
Basic equivalence relation for dimb-kind structures.
Dimb-kindp
Recognizer for dimb-kind structures.
Dimb-kind-typedef
Dimb-kind-objfun
Dimb-kind-kind
Get the kind (tag) of a dimb-kind structure.
Dimb-kind-enumconst