Edit File: mrecords.pyi