Edit: records.pyi