		Search-engine friendly clone of the ACL2 documentation.

Parse-addition-expression-rest

Parse the rest of a addition-expression.

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