examples/restaurant/Restaurant.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

abstract Restaurant = {

flags startcat = Descr ;

cat
  Descr ;
  Name ;
  Nationality ;
  PriceLevel ;

fun
  MkDescr : Name -> PriceLevel -> Nationality -> Descr ;

  Cheap : PriceLevel ;
  Italian, Thai, Swedish, French : Nationality ;
  Konkanok : Name ;


}