Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Debugging
Projects
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Kestrel-books
Crypto-hdwallet
Apt
Error-checking
Abnf
Deftreeops
Defdefparse
Defgrammar
Abnf-tree-utilities
Check-tree-nonleaf-num-range-4
Check-tree-nonleaf-num-range-3
Check-tree-num-range-4
Check-tree-nonleaf-num-range-2
Check-tree-num-range-3
Check-tree-num-range-2
Abnf::tree-list-tuple10
Check-tree-nonleaf-num-range
Abnf::tree-list-tuple9
Abnf::tree-list-tuple8
Abnf::tree-list-tuple7
Abnf::tree-list-tuple6
Check-tree-nonleaf-num-seq
Check-tree-num-range
Check-tree-nonleaf-10
Abnf::tree-list-tuple5
Check-tree-nonleaf-9
Check-tree-nonleaf-8
Check-tree-list-list-10
Check-tree-nonleaf-7
Check-tree-nonleaf-6
Abnf::tree-list-tuple4
Abnf::tree-list-tuple4-fix
Abnf::tree-list-tuple4-equiv
Abnf::make-tree-list-tuple4
Abnf::tree-list-tuple4->4th
Abnf::tree-list-tuple4->3rd
Abnf::tree-list-tuple4->2nd
Abnf::tree-list-tuple4->1st
Abnf::change-tree-list-tuple4
Abnf::tree-list-tuple4p
Check-tree-nonleaf-5
Check-tree-list-list-9
Check-tree-nonleaf-4
Check-tree-nonleaf-3
Check-tree-list-list-8
Check-tree-nonleaf-2
Check-tree-nonleaf
Check-tree-list-list-7
Check-tree-nonleaf-1-1
Check-tree-nonleaf-1
Abnf::tree-list-tuple3
Pass
Check-tree-list-list-6
Check-tree-list-list-5
Check-tree-list-list-4
Tree=>string
Check-tree-list-list-3
Abnf::tree-list-tuple2
Check-tree-schars
Check-tree-num-seq
Check-tree-list-list-2
Check-tree-ichars
Pass-result
Check-tree-list-list-1
Abnf::tree-list-tuple9-result
Abnf::tree-list-tuple8-result
Abnf::tree-list-tuple7-result
Abnf::tree-list-tuple6-result
Abnf::tree-list-tuple5-result
Abnf::tree-list-tuple4-result
Abnf::tree-list-tuple3-result
Abnf::tree-list-tuple2-result
Abnf::tree-list-tuple10-result
Tree-info-for-error
Check-tree-list-1
Check-tree-nonleaf?
Check-tree-leafterm
Notation
Grammar-parser
Meta-circular-validation
Parsing-primitives-defresult
Parsing-primitives-seq
Operations
Examples
Differences-with-paper
Grammar-printer
Parsing-tools
Fty-extensions
Isar
Kestrel-utilities
Soft
Bv
Imp-language
Event-macros
C
Java
Bitcoin
Ethereum
Yul
Zcash
ACL2-programming-language
Prime-fields
Json
Syntheto
File-io-light
Number-theory
Cryptography
Lists-light
Builtins
Axe
Solidity
Helpers
Htclient
Typed-lists-light
Arithmetic-light
X86isa
Axe
Execloader
Math
Testing-utilities
Abnf-tree-utilities
Abnf::tree-list-tuple4
Fixtype of 4-tuples of lists of ABNF trees.
This is a product type introduced by
fty::defprod
.
Fields
1st —
abnf::tree-list
2nd —
abnf::tree-list
3rd —
abnf::tree-list
4th —
abnf::tree-list
Subtopics
Abnf::tree-list-tuple4-fix
Fixing function for
abnf::tree-list-tuple4
structures.
Abnf::tree-list-tuple4-equiv
Basic equivalence relation for
tree-list-tuple4
structures.
Abnf::make-tree-list-tuple4
Basic constructor macro for
tree-list-tuple4
structures.
Abnf::tree-list-tuple4->4th
Get the
4th
field from a
abnf::tree-list-tuple4
.
Abnf::tree-list-tuple4->3rd
Get the
3rd
field from a
abnf::tree-list-tuple4
.
Abnf::tree-list-tuple4->2nd
Get the
2nd
field from a
abnf::tree-list-tuple4
.
Abnf::tree-list-tuple4->1st
Get the
1st
field from a
abnf::tree-list-tuple4
.
Abnf::change-tree-list-tuple4
Modifying constructor for
tree-list-tuple4
structures.
Abnf::tree-list-tuple4p
Recognizer for
abnf::tree-list-tuple4
structures.