• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • 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
            • Parser
            • Validator
            • Printer
            • Formalized-subset
            • Mapping-to-language-definition
            • Input-files
            • Defpred
            • Validation-information
              • Abstract-syntax-annop
              • Types
              • Valid-ord-info
              • Lifetime
              • Stmt-type
              • Valid-table
              • Expr-type
              • Valid-defstatus
              • Valid-ord-info-option
              • Linkage-option
              • Linkage
              • Lifetime-option
              • Iconst-info
              • Var-info
              • Binary-info
              • Valid-scope
              • Expr-null-pointer-constp
              • Transunit-info
              • Stmt-info
                • Stmt-info-fix
                • Stmt-info-equiv
                • Make-stmt-info
                • Stmt-info->table
                • Change-stmt-info
                • Stmt-infop
              • Const-expr-null-pointer-constp
              • Unary-info
              • Tyname-info
              • Block-item-list-type
              • Block-item-type
              • Valid-ord-scope
              • Code-ensemble-annop
              • Coerce-transunit-info
              • Coerce-var-info
              • Coerce-unary-info
              • Coerce-tyname-info
              • Coerce-stmt-info
              • Coerce-iconst-info
              • Coerce-binary-info
              • Irr-transunit-info
              • Irr-iconst-info
              • Irr-binary-info
              • Irr-var-info
              • Irr-valid-table
              • Irr-unary-info
              • Irr-tyname-info
              • Irr-stmt-info
              • Valid-scope-list
              • Irr-linkage
              • Irr-lifetime
            • Abstract-syntax-operations
            • Output-files
            • Concrete-syntax
            • Unambiguity
            • Ascii-identifiers
            • Preprocessing
            • Abstract-syntax
            • Implementation-environments
            • Standard
            • Gcc-builtins
            • Code-ensembles
            • Purity
          • Atc
          • Language
          • Transformation-tools
          • Representation
          • Insertion-sort
          • Pack
        • Bv
        • Imp-language
        • Event-macros
        • Java
        • Riscv
        • Ethereum
        • Bitcoin
        • Zcash
        • Yul
        • 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
  • Validation-information

Stmt-info

Fixtype of validation information for statements.

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

Fields
table — valid-table

This is the type of annotations that the validator adds to (for now only some kinds of) statements. This information currently consists of the validation table at the beginning of the statement.

Subtopics

Stmt-info-fix
Fixing function for stmt-info structures.
Stmt-info-equiv
Basic equivalence relation for stmt-info structures.
Make-stmt-info
Basic constructor macro for stmt-info structures.
Stmt-info->table
Get the table field from a stmt-info.
Change-stmt-info
Modifying constructor for stmt-info structures.
Stmt-infop
Recognizer for stmt-info structures.