support for reflexive verbs

This commit is contained in:
Krasimir Angelov
2024-10-31 13:21:27 +01:00
parent 9e52b2d8a3
commit abf4cd4cb2
4 changed files with 120 additions and 58 deletions
+2
View File
@@ -1566,6 +1566,8 @@ mkV = overload {
mkV : Str -> Str -> Str -> Str -> V = reg4V
} ;
reflV : V -> V = \v -> v ;
mkV2 = overload {
mkV2 : V -> V2 = \v -> lin V2 v ** {c2=noPrep} ;
mkV2 : V -> Prep -> V2 = \v,p -> lin V2 v ** {c2=p} ;