1
0
forked from GitHub/gf-rgl

(Pes) Remove unused CPolarity

This commit is contained in:
Inari Listenmaa
2019-02-22 16:18:14 +01:00
parent 50200f3e0c
commit bd19c7a8a9
4 changed files with 7 additions and 22 deletions
+1 -1
View File
@@ -18,7 +18,7 @@ concrete CatPes of Cat = CommonX - [Adv] ** open ResPes, Prelude in {
vp : ResPes.VPHTense => Polarity => Order => Str ;
c2 : ResPes.Compl
} ;
Imp = {s : CPolarity => ImpForm => Str} ;
Imp = {s : Polarity => ImpForm => Str} ;
---- Question
QCl = {s : ResPes.VPHTense => Polarity => QForm => Str} ;