module Rouge::Lexers::Lean::Keyword