improved several functions

This commit is contained in:
Krasimir Angelov
2026-04-13 09:13:38 +02:00
parent 263b668249
commit da0e273d3d
7 changed files with 30 additions and 25 deletions
+2 -2
View File
@@ -7,9 +7,9 @@ concrete RelativeMkd of Relative = CatMkd ** open Prelude,ResMkd in {
GPl => "кои"
}
} ;
lin RelCl cl = {s = \\g,t,a,p => cl.s ! t ! a ! p ! Main} ;
lin RelCl cl = {s = \\g => cl.s ! Main} ;
lin RelSlash rp c = {s = \\g,t,a,p => rp.s ! g ++ c.s} ;
lin RelVP rp vp = {
s = \\gn,t,a,p => mkClause (rp.s ! gn) {g=gn; p=P3} vp ! t ! a ! p ! Main
s = \\gn => mkClause (rp.s ! gn) {g=gn; p=P3} vp ! Main
} ;
}