module Rouge::Lexers::Lean::Comment