Parse-member-designor-rest
Parse the rest of a member designator.
- Signature
(parse-member-designor-rest prev-memdes prev-span parstate)
→
(mv erp memdes span new-parstate)
- Arguments
- prev-memdes — Guard (member-designorp prev-memdes).
- prev-span — Guard (spanp prev-span).
- parstate — Guard (parstatep parstate).
- Returns
- memdes — Type (member-designorp memdes).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).