fact: Definition main_js_comment := premain js_comment_parser.
imports: Fiat.Parsers.Grammars.JSComment Fiat.Parsers.Refinement.Tactics Fiat.Parsers.ParserFromParserADT Fiat.Parsers.ExtrOcamlParsers Fiat.Parsers.StringLike.OcamlString