{"library":"mypy-extensions","install":[{"cmd":"pip install mypy-extensions","imports":["from mypy_extensions import override","from mypy_extensions import Required","from mypy_extensions import NotRequired"]}]}