• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
        • Crypto-hdwallet
          • Command-error
          • Sign
          • Init-from-mnemonic
          • Command-error-message
          • Stat
          • Next-key
          • Init-from-entropy
          • Process-command
          • Transaction-message
          • Maybe-command-error
          • Maybe-stat
            • Maybe-stat-fix
            • Maybe-stat-case
            • Maybe-stat-equiv
            • Maybe-stat-some
            • Maybe-stat-none
              • Make-maybe-stat-none
              • Change-maybe-stat-none
            • Maybe-statp
          • Check-stat-file-present
          • Valid-key-path-p
          • String-to-byte-list
          • Load-stat
          • Mnemonic-message
          • Process-sign
          • Process-init-from-entropy
          • All-valid-key-paths-p
          • String-to-word
          • String-to-nat
          • Process-next-key
          • Wallet
          • Process-init-from-mnemonic
          • Check-stat-file-absent
          • Stat-wfp
          • Save-stat
          • Stat-addresses-bounded-p
          • Stat-all-valid-key-paths-p
          • Stat-priv-keys-p
          • Stat-root-depth-zero-p
          • Stat-path-prefix-in-tree-p
          • Crypto-hdwallet-executable
          • *stat-filepath*
          • *key-path-prefix*
          • *coin-type-index*
          • *purpose-index*
          • *external-chain-index*
          • *command-name-init-from-mnemonic*
          • *command-name-init-from-entropy*
          • *account-index*
          • *command-name-sign*
          • *command-name-next-key*
        • Apt
        • Error-checking
        • Fty-extensions
        • Isar
        • Kestrel-utilities
        • Set
        • Soft
        • C
        • 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
  • Maybe-stat

Maybe-stat-none

Represents that no maybe-stat is available, i.e., Nothing or None.

This is a product type, introduced by fty::defoption in support of maybe-stat.

This is an atomic/empty structure; it has no fields.

Subtopics

Make-maybe-stat-none
Basic constructor macro for maybe-stat-none structures.
Change-maybe-stat-none
Modifying constructor for maybe-stat-none structures.