diff options
| author | aarne <aarne@chalmers.se> | 2010-06-18 07:07:32 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-06-18 07:07:32 +0000 |
| commit | 0493f640d3fd649468f128407894dbbc9bddc767 (patch) | |
| tree | 3624a8203afc73003248df46b7699f3651bda015 /examples/query/Query.gf | |
| parent | 992a7ffb381190ffa67f59f33d0dfadf41f84e78 (diff) | |
test script for query
Diffstat (limited to 'examples/query/Query.gf')
| -rw-r--r-- | examples/query/Query.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/query/Query.gf b/examples/query/Query.gf index f8da256c7..9674d40e0 100644 --- a/examples/query/Query.gf +++ b/examples/query/Query.gf @@ -32,6 +32,7 @@ fun AAct : Set -> Activity -> Answer ; -- S As
SAll : Kind -> Set ; -- all Ks | the Ks
+ SRel : Set -> Relation -> Set ; -- S's Rs
SOne : Kind -> Set ; -- one K
SIndef : Kind -> Set ; -- a K
SPlural : Kind -> Set ; -- Ks
|