diff options
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
|