[[Python]]の型定義のみを扱うファイルのこと。拡張子は `.pyi` 。