module Rouge::Lexers::Dafny::Keyword