Edit File: records.pyi