• 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
        • C
          • Syntax-for-tools
          • Atc
          • Transformation-tools
          • Language
            • Abstract-syntax
            • Integer-ranges
            • Implementation-environments
              • Integer-format-templates
              • Ienv
              • Integer-formats
                • Integer-format-llong-wfp
                • Integer-format-short-wfp
                • Integer-format-long-wfp
                • Integer-format-int-wfp
                • Char+short+int+long+llong+bool-format
                  • Char+short+int+long+llong+bool-format-fix
                  • Char+short+int+long+llong+bool-format-equiv
                  • Make-char+short+int+long+llong+bool-format
                  • Char+short+int+long+llong+bool-format->uchar
                  • Char+short+int+long+llong+bool-format->short
                  • Char+short+int+long+llong+bool-format->schar
                  • Char+short+int+long+llong+bool-format->long
                  • Char+short+int+long+llong+bool-format->llong
                  • Char+short+int+long+llong+bool-format->int
                  • Char+short+int+long+llong+bool-format->char
                  • Char+short+int+long+llong+bool-format->bool
                  • Change-char+short+int+long+llong+bool-format
                  • Char+short+int+long+llong+bool-formatp
                • Char+short+int+long+llong+bool-format-wfp
                • Llong-format-64tcnt
                • Short-format-16tcnt
                • Long-format-32tcnt
                • Int-format-16tcnt
                • Integer-format-short/int/long/llong-wfp-of-inc-sign-tcnpnt
                • Char8+short16+int16+long32+llong64+bool0-tcnt
              • Ienv-ushort-rangep
              • Ienv-ulong-rangep
              • Ienv-ullong-rangep
              • Ienv-uint-rangep
              • Ienv-uchar-rangep
              • Ienv-sshort-rangep
              • Ienv-slong-rangep
              • Ienv-sllong-rangep
              • Ienv-sint-rangep
              • Ienv-schar-rangep
              • Ienv-char-rangep
              • Ienv->schar-min
              • Ienv->schar-max
              • Ienv->char-size
              • Ienv->char-min
              • Ienv->char-max
              • Ienv->uchar-max
              • Ienv->short-bit-size
              • Ienv->long-bit-size
              • Ienv->llong-bit-size
              • Ienv->int-bit-size
              • Ienv->short-byte-size
              • Ienv->long-byte-size
              • Ienv->llong-byte-size
              • Ienv->int-byte-size
              • Versions
              • Ienv->ushort-max
              • Ienv->ullong-max
              • Ienv->sshort-min
              • Ienv->sllong-min
              • Ienv->sllong-max
              • Ienv->bool-byte-size
              • Ienv->bool-bit-size
              • Ienv->ulong-max
              • Ienv->uint-max
              • Ienv->sshort-max
              • Ienv->slong-min
              • Ienv->slong-max
              • Ienv->sint-min
              • Ienv->sint-max
              • Schar-formats
              • Char-formats
              • Uchar-formats
              • Signed-formats
              • Bool-formats
            • Dynamic-semantics
            • Static-semantics
            • Grammar
            • Types
            • Integer-formats-definitions
            • Computation-states
            • Portable-ascii-identifiers
            • Values
            • Integer-operations
            • Object-designators
            • Operations
            • Errors
            • Tag-environments
            • Function-environments
            • Character-sets
            • Flexible-array-member-removal
            • Arithmetic-operations
            • Pointer-operations
            • Real-operations
            • Array-operations
            • Scalar-operations
            • Structure-operations
          • Representation
          • Insertion-sort
          • Pack
        • Soft
        • Bv
        • Imp-language
        • Ethereum
        • Event-macros
        • Java
        • Riscv
        • Bitcoin
        • Zcash
        • Yul
        • ACL2-programming-language
        • Prime-fields
        • Json
        • Syntheto
        • File-io-light
        • Cryptography
        • Number-theory
        • Axe
        • Lists-light
        • Builtins
        • Solidity
        • Helpers
        • Htclient
        • Typed-lists-light
        • Arithmetic-light
      • X86isa
      • Axe
      • Execloader
    • Math
    • Testing-utilities
  • Integer-formats

Char+short+int+long+llong+bool-format

Fixtype of formats of (unsigned, signed, and plain) char objects, (unsigned and signed) short objects, (unsigned and signed) int objects, (unsigned and signed) long objects, (unsigned and signed) long long objects, and _Bool objects.

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

Fields
uchar — uchar-format
schar — schar-format
char — char-format
short — integer-format
int — integer-format
long — integer-format
llong — integer-format
bool — bool-format

Subtopics

Char+short+int+long+llong+bool-format-fix
Fixing function for char+short+int+long+llong+bool-format structures.
Char+short+int+long+llong+bool-format-equiv
Basic equivalence relation for char+short+int+long+llong+bool-format structures.
Make-char+short+int+long+llong+bool-format
Basic constructor macro for char+short+int+long+llong+bool-format structures.
Char+short+int+long+llong+bool-format->uchar
Get the uchar field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->short
Get the short field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->schar
Get the schar field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->long
Get the long field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->llong
Get the llong field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->int
Get the int field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->char
Get the char field from a char+short+int+long+llong+bool-format.
Char+short+int+long+llong+bool-format->bool
Get the bool field from a char+short+int+long+llong+bool-format.
Change-char+short+int+long+llong+bool-format
Modifying constructor for char+short+int+long+llong+bool-format structures.
Char+short+int+long+llong+bool-formatp
Recognizer for char+short+int+long+llong+bool-format structures.