Parse-logical-and-expression
Parse a logical conjunction expression.
- Signature
(parse-logical-and-expression parstate)
→
(mv erp expr span new-parstate)
- Arguments
- parstate — Guard (parstatep parstate).
- Returns
- expr — Type (exprp expr).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
We handle the left recursion in the grammar rule
in the same way as for expressions:
see parse-expression.