setfiletype に設定できるファイルタイプの一覧ってどこで見られますか？
helpgrep で verilog とかやってみたけど、ファイルタイプそれぞれ個別の説明みたいなところしかヒットしなかった。