forked from GitHub/gf-core
reorder code lines
This commit is contained in:
@@ -33,7 +33,7 @@ oper
|
||||
|
||||
ClSlash : Type = {
|
||||
s : TenseHeb => Polarity => Str ;
|
||||
c2 : Prep
|
||||
c2 : Case
|
||||
} ;
|
||||
|
||||
VP : Type = {
|
||||
|
||||
@@ -6,7 +6,7 @@ concrete VerbHeb of Verb = CatHeb ** open Prelude, ResHeb in {
|
||||
|
||||
UseV = predV ;
|
||||
|
||||
ComplSlash vp np = insertObj vp np;
|
||||
ComplSlash vp np = insertObj np vp;
|
||||
|
||||
SlashV2a v = predVc v ; --predV v ** {c2 = v.c2} ;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user