Backup diff of Python/Type vs current(No. 1)

• Backup list
• View the diff.
• View the diff for visual.
• View the source.
• View the backup.
• Go to Python/Type.
  • 1 (2020-05-01 (Fri) 14:07:06)

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.

- [[Pyre]] (Facebook)
- [[Pytype]] (Google)
- [[Pyright]] (Microsoft)