Parse-equality-expression-rest
Parse the rest of an equality expression.
- Signature
(parse-equality-expression-rest prev-expr prev-span parstate)
→
(mv erp expr span new-parstate)
- Arguments
- prev-expr — Guard (exprp prev-expr).
- prev-span — Guard (spanp prev-span).
- parstate — Guard (parstatep parstate).
- Returns
- expr — Type (exprp expr).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
This completes the job started by parse-equality-expression;
it is analogous to parse-expression-rest.