update navgiation d.ts