forked from GitHub/gf-rgl
21 lines
315 B
Plaintext
21 lines
315 B
Plaintext
concrete TenseSlo of Tense =
|
|
CatSlo **
|
|
open
|
|
ResSlo,
|
|
Prelude
|
|
in {
|
|
lin
|
|
PNeg = {
|
|
s = "ne" ++ Predef.BIND ;
|
|
p = False
|
|
} ;
|
|
PPos = {
|
|
s = [] ;
|
|
p = True
|
|
} ;
|
|
ASimul = {s = [] ; t = CTPres} ;
|
|
TPres = {s = [] ; t = CTPres} ;
|
|
TTAnt t a = {s = t.s ++ a.s ; t = t.t} ; ----
|
|
|
|
}
|