1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
abstract Restaurant = Database ** { fun Restaurant, Bar : Noun ; French, Italian, Indian, Japanese : Property ; address, phone, priceLevel : Feature ; Cheap, Expensive : Comparison ; WhoRecommend : Name -> Phras ; WhoHellRecommend : Name -> Phras ; -- examples of restaurant names LucasCarton : Name ; } ;