Code Editor : typing.py