# File lib/rouge/lexers/coq.rb, line 15
      def self.gallina
        @gallina ||= Set.new %w(
          as fun if in let match then else return end Type Set Prop
          forall
        )
      end