Code Editor : types.py