class Rouge::Lexers::Coq