1
0
forked from GitHub/gf-core

add TTAnt in CatBul

This commit is contained in:
krasimir
2008-11-07 09:41:59 +00:00
parent 96b12c621e
commit bf79f8a074

View File

@@ -115,6 +115,8 @@ concrete CatBul of Cat = open ResBul, Prelude, (R = ParamX) in {
-- Tense, Anteriority and Polarity functions
lin
TTAnt t a = {s = t.s ++ a.s ; t = t.t ; a = a.a} ;
PPos = {s = []} ** {p = R.Pos} ;
PNeg = {s = []} ** {p = R.Neg} ;
TPres = {s = []} ** {t = R.Pres} ;