diff options
Diffstat (limited to 'examples/app/AppEng.gf')
| -rw-r--r-- | examples/app/AppEng.gf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/app/AppEng.gf b/examples/app/AppEng.gf index 10e84f9a8..12e5624e8 100644 --- a/examples/app/AppEng.gf +++ b/examples/app/AppEng.gf @@ -50,4 +50,7 @@ ComplV2 v np = mkVP v np ; PassV2 v2 = passiveVP v2 ; +RelV2 rp np v2 = mkRCl rp (mkClSlash np (mkVPSlash v2)) ; +QuestV2 ip np v2 = mkQCl ip (mkClSlash np (mkVPSlash v2)) ; + } |