navigation.d.ts