forked from GitHub/gf-core
27 lines
472 B
Plaintext
27 lines
472 B
Plaintext
abstract City = {
|
|
|
|
cat S ; City ; Country ; Adj ;
|
|
|
|
data
|
|
PredIn : City -> Country -> S ;
|
|
fun
|
|
PredAdj : City -> Adj -> S ;
|
|
Capital : Country -> City ;
|
|
CountryAdj : Adj -> Country ;
|
|
data
|
|
Stockholm, Helsinki : City ;
|
|
Sweden, Finland : Country ;
|
|
Swedish, Finnish : Adj ;
|
|
|
|
def
|
|
PredAdj city x = PredIn city (CountryAdj x) ;
|
|
|
|
Capital Finland = Helsinki ;
|
|
Capital Sweden = Stockholm ;
|
|
|
|
CountryAdj Finnish = Finland ;
|
|
CountryAdj Swedish = Sweden ;
|
|
|
|
|
|
}
|