# File lib/rouge/lexers/coq.rb, line 55
      def self.terminators
        @terminators ||= Set.new %w(
          omega solve congruence reflexivity exact
          assumption eassumption
        )
      end