Navigation.d.ts