@(myRestaurant: Restaurant) @main(myRestaurant.name){ }{
}