Code Editor : mrecords.pyi