fact: Definition js_comment_grammar : grammar ascii := [[[ ("comment" ::== "'//'" "single_line" \n || "'/*'" "inner_comment" "'*/'");; ("single_line" ::== "" || (¬\n) "single_line");; ("inner_comment" ::== "" || "*" || "*" (¬"/") "inner_comment" || (¬"*") "inner_comment") ]]]%grammar.
imports: Fiat.Parsers.ContextFreeGrammar.Notations