• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
      • Apt
      • Zfc
      • Acre
      • Milawa
      • Smtlink
      • Abnf
      • Vwsim
      • Isar
      • Wp-gen
      • Dimacs-reader
      • Pfcs
      • Legacy-defrstobj
      • Proof-checker-array
      • Soft
      • C
      • Farray
      • Rp-rewriter
      • Instant-runoff-voting
      • Imp-language
      • Sidekick
      • Leftist-trees
      • Java
      • Riscv
      • Taspi
      • Bitcoin
      • Des
      • Ethereum
      • X86isa
      • Sha-2
      • Yul
      • Zcash
      • Proof-checker-itp13
      • Regex
      • ACL2-programming-language
      • Json
      • Jfkr
      • Equational
      • Cryptography
      • Poseidon
      • Where-do-i-place-my-book
      • Axe
      • Aleo
        • Aleobft
        • Aleovm
        • Leo
          • Grammar
          • Early-version
            • Json2ast
            • Testing
            • Definition
              • Flattening
              • Abstract-syntax
              • Dynamic-semantics
              • Compilation
              • Static-semantics
                • Type-checking
                • Static-environments
                  • Var/const-sinfo
                  • Ident-sinfo
                  • Function-sinfo
                  • Var/const-sinfo-option
                  • Struct-sinfo-option
                  • Struct-sinfo
                    • Struct-sinfo-fix
                    • Struct-sinfo-equiv
                    • Struct-sinfo->components
                    • Make-struct-sinfo
                    • Change-struct-sinfo
                    • Struct-sinfop
                  • Ident-sinfo-option
                  • Function-sinfo-option
                  • Senv-option
                  • Add-var/const-sinfo
                  • Add-ident-sinfo
                  • Senv
                  • Add-struct-sinfo
                  • Add-function-sinfo
                  • Get-var/const-sinfo
                  • Get-struct-sinfo
                  • Get-function-sinfo
                  • Ident-senv
                  • Get-ident-sinfo
                  • Senv-result
                  • Var/const-sinfo-list
                  • Init-senv
                • Curve-parameterization
                • Function-recursion
                • Struct-recursion
                • Input-checking
                • Program-checking
                • Type-maps-for-struct-components
                • Program-and-input-checking
                • Output-checking
              • Concrete-syntax
      • Bigmems
      • Builtins
      • Execloader
      • Solidity
      • Paco
      • Concurrent-programs
      • Bls12-377-curves
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Static-environments

Struct-sinfo

Fixtype of static information about struct types.

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

Fields
components — type-map

Currently this only consists of information about the components, organized as a type map, from component names to their types. The finite map structure is adequate because components have unique names.

This static information for struct types may be extended with information about associated constants and functions.

Subtopics

Struct-sinfo-fix
Fixing function for struct-sinfo structures.
Struct-sinfo-equiv
Basic equivalence relation for struct-sinfo structures.
Struct-sinfo->components
Get the components field from a struct-sinfo.
Make-struct-sinfo
Basic constructor macro for struct-sinfo structures.
Change-struct-sinfo
Modifying constructor for struct-sinfo structures.
Struct-sinfop
Recognizer for struct-sinfo structures.