records.d.ts