		Search-engine friendly clone of the ACL2 documentation.

Parse-addition-expression

Parse a addition-expression.

Signature
(parse-addition-expression token input) → (mv tree next-token rest-input)
Arguments: token — Guard (abnf::tree-optionp token).; input — Guard (abnf::tree-listp input).
Returns: tree — Type (abnf::tree-resultp tree).; next-token — Type (abnf::tree-optionp next-token).; rest-input — Type (abnf::tree-listp rest-input).