added mkVA and become_VA

This commit is contained in:
krasimir
2008-02-29 15:46:25 +00:00
parent 7994a12e1a
commit e434f57eff
2 changed files with 5 additions and 0 deletions

View File

@@ -91,6 +91,8 @@ oper
mkVV : V -> VV ;
mkVA : V -> VA ;
mkPN : Str -> Gender -> PN ;
mkIAdv : Str -> IAdv ;
@@ -109,6 +111,8 @@ oper
mkVS v = v ** {lock_VS = <>} ;
mkVV v = v ** {lock_VV = <>} ;
mkVA v = v ** {lock_VA = <>} ;
mkPN s g = {s = s; g = g ; lock_PN = <>} ;