Search-engine friendly clone of the
ACL2 documentation
.
Top
Abnf::tree-list-tuple9-result
Abnf::tree-list-tuple9-result-ok
This is a product type, introduced by
fty::defflexsum
in support of
abnf::tree-list-tuple9-result
.
Fields
get —
abnf::tree-list-tuple9
Subtopics
Abnf::tree-list-tuple9-result-ok->get
Get the
get
field from a
abnf::tree-list-tuple9-result-ok
.
Abnf::make-tree-list-tuple9-result-ok
Basic constructor macro for
tree-list-tuple9-result-ok
structures.
Abnf::change-tree-list-tuple9-result-ok
Modifying constructor for
tree-list-tuple9-result-ok
structures.