Edit File: op.pyi