petshop-40-queries.spp

petshop/order/petshop-40-queries.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial readShopOrders(Buyer, ShopOrder[]) {4    listOrders;5}