module Rouge::Lexers::Dafny::Operator