unbounded dep in resource with SlashVS

This commit is contained in:
aarne
2007-11-03 20:41:29 +00:00
parent 6f0009b11b
commit 7003654ca6
18 changed files with 452 additions and 347 deletions

View File

@@ -9,6 +9,7 @@ concrete CatFin of Cat = CommonX ** open ResFin, Prelude in {
S = {s : Str} ;
QS = {s : Str} ;
RS = {s : Agr => Str ; c : NPForm} ;
SlashS = {s : Str ; c2 : Compl} ;
-- Sentence