• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
      • Apt
      • Zfc
      • Acre
      • Milawa
      • Smtlink
      • Abnf
      • Vwsim
      • Isar
      • Wp-gen
      • Dimacs-reader
      • Pfcs
      • Legacy-defrstobj
      • C
        • Syntax-for-tools
          • Formalized-subset
          • Mapping-to-language-definition
          • Input-files
          • Compilation-database
          • Printer
          • Output-files
          • Abstract-syntax-operations
          • Implementation-environments
          • Abstract-syntax
          • Concrete-syntax
          • Disambiguation
            • Disambiguator
            • Unambiguity
              • Abstract-syntax-unambp
                • Exprs/decls/stmts-unambp
                • Filepath-transunit-map-unambp
                • Transunit-ensemble-unambp
                • Declor/absdeclor-unambp
                • Type-spec-list-unambp
                • Ext-declon-list-unambp
                • Fundef-option-unambp
                • Ext-declon-unambp
                • Expr/tyname-unambp
                • Declon/stmt-unambp
                • Code-ensemble-unambp
                • Fundef-unambp
                • Transunit-unambp
                • Typequal/attribspec-list-unambp
                • Typequal/attribspec-list-list-unambp
                • Typequal/attribspec-unambp
                • Struni-spec-unambp
                • Struct-declor-unambp
                • Struct-declor-list-unambp
                • Struct-declon-unambp
                • Struct-declon-list-unambp
                • Statassert-unambp
                • Spec/qual-unambp
                • Spec/qual-list-unambp
                • Param-declor-unambp
                • Param-declon-unambp
                • Param-declon-list-unambp
                • Member-designor-unambp
                • Initer-option-unambp
                • Init-declor-unambp
                • Init-declor-list-unambp
                • Genassoc-list-unambp
                • Expr-option-unambp
                • Enumer-list-unambp
                • Dirabsdeclor-unambp
                • Dirabsdeclor-option-unambp
                • Desiniter-list-unambp
                • Designor-list-unambp
                • Declor-option-unambp
                • Declon-list-unambp
                • Decl-spec-list-unambp
                • Const-expr-unambp
                • Const-expr-option-unambp
                • Block-item-unambp
                • Block-item-list-unambp
                • Attrib-spec-unambp
                • Attrib-spec-list-unambp
                • Attrib-list-unambp
                • Asm-output-unambp
                • Asm-output-list-unambp
                • Asm-input-list-unambp
                • Amb-expr/tyname-unambp
                • Amb-declor/absdeclor-unambp
                • Amb-declon/stmt-unambp
                • Align-spec-unambp
                • Absdeclor-option-unambp
                • Type-spec-unambp
                • Tyname-unambp
                • Stmt-unambp
                • Label-unambp
                • Initer-unambp
                • Genassoc-unambp
                • Expr-unambp
                • Expr-list-unambp
                • Enumer-unambp
                • Enum-spec-unambp
                • Dirdeclor-unambp
                  • Desiniter-unambp
                  • Designor-unambp
                  • Declor-unambp
                  • Declon-unambp
                  • Decl-spec-unambp
                  • Comp-stmt-unambp
                  • Attrib-unambp
                  • Asm-stmt-unambp
                  • Asm-input-unambp
                  • Absdeclor-unambp
                • Abstract-syntax-unambp-additional-theorems
                • Type-spec-list-unambp-of-sublists
                • Expr-unambp-of-operation-on-expr-unambp
            • Validation
            • Gcc-builtins
            • Preprocessing
            • Parsing
          • Atc
          • Transformation-tools
          • Language
          • Representation
          • Insertion-sort
          • Pack
        • Proof-checker-array
        • Soft
        • Farray
        • Rp-rewriter
        • Instant-runoff-voting
        • Imp-language
        • Sidekick
        • Ethereum
        • Leftist-trees
        • Java
        • Riscv
        • Taspi
        • Bitcoin
        • Zcash
        • Des
        • X86isa
        • Sha-2
        • Yul
        • Proof-checker-itp13
        • Regex
        • ACL2-programming-language
        • Json
        • Jfkr
        • Equational
        • Cryptography
        • Axe
        • Poseidon
        • Where-do-i-place-my-book
        • Aleo
        • 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
    • Abstract-syntax-unambp

    Dirdeclor-unambp

    Signature
    (dirdeclor-unambp dirdeclor) → fty::result
    Arguments
    dirdeclor — Guard (dirdeclorp dirdeclor).
    Returns
    fty::result — Type (booleanp fty::result).