sea.d.ts