module Rouge::Lexers::Dafny::Comment