1
0
forked from GitHub/gf-rgl

added imperfV2V

This commit is contained in:
krangelov
2020-04-26 20:29:00 +02:00
parent 8f12a9e68c
commit 474d40032d

View File

@@ -136,6 +136,9 @@ oper
mkV2V : V -> Prep -> Prep -> V2V ;
mkV2V v p t = prepV2 v p ** {c3 = t ; subjCtrl = False ; lock_V2V = <>} ;
imperfV2V : V -> VV ;
imperfV2V v = v ** {typ = VVInf Imperf; lock_VV = <>} ;
subjCtrlV2V : V -> Prep -> Prep -> V2V ;
subjCtrlV2V v p t = prepV2 v p ** {c3 = t ; subjCtrl = True ; lock_V2V = <>} ;