Search-engine friendly clone of the
ACL2 documentation
.
Top
Abnf-tree-utilities
Abnf::tree-list-tuple9
Fixtype of 9-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
5th —
abnf::tree-list
6th —
abnf::tree-list
7th —
abnf::tree-list
8th —
abnf::tree-list
9th —
abnf::tree-list
Subtopics
Abnf::tree-list-tuple9-fix
Fixing function for
abnf::tree-list-tuple9
structures.
Abnf::make-tree-list-tuple9
Basic constructor macro for
tree-list-tuple9
structures.
Abnf::tree-list-tuple9-equiv
Basic equivalence relation for
tree-list-tuple9
structures.
Abnf::tree-list-tuple9p
Recognizer for
abnf::tree-list-tuple9
structures.
Abnf::change-tree-list-tuple9
Modifying constructor for
tree-list-tuple9
structures.
Abnf::tree-list-tuple9->9th
Get the
9th
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->8th
Get the
8th
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->7th
Get the
7th
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->6th
Get the
6th
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->5th
Get the
5th
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->4th
Get the
4th
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->3rd
Get the
3rd
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->2nd
Get the
2nd
field from a
abnf::tree-list-tuple9
.
Abnf::tree-list-tuple9->1st
Get the
1st
field from a
abnf::tree-list-tuple9
.