Restaurant Jardins do Infante, located in Funchal. Offers dining experience.