Lex-rest-of-block-comment
Lex rule rest-of-block-comment.
- Signature
(lex-rest-of-block-comment 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).
