Edit File: format.pyi