module Rouge::Lexers::Coq::Str