Code Editor : typing.pyi