module Rouge::Lexers::Coq::Text