branded.d.ts