PhpStormの型