interface Navigation { tree: number pages: NavElement[] } interface NavElement { name: string page: string }