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