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