• 追加された行はこの色です。
  • 削除された行はこの色です。
  • Python/Type へ行く。
- [[Pyre]] (Facebook)
- [[Pytype]] (Google)
- [[Pyright]] (Microsoft)