# 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