Lex-rest-of-block-comment-after-star
Lex rule rest-of-block-comment-after-star.
- Signature
(lex-rest-of-block-comment-after-star input)
→
(mv tree rest-input)
- Arguments
- input — Guard (nat-listp input).
- Returns
- tree — Type (abnf::tree-resultp tree).
- rest-input — Type (nat-listp rest-input).
