1
0
forked from GitHub/gf-rgl

generalize the Card category

This commit is contained in:
Krasimir Angelov
2018-07-05 13:01:17 +02:00
parent c456ea3b11
commit dcd0490180
3 changed files with 6 additions and 6 deletions
+1 -1
View File
@@ -58,7 +58,7 @@ concrete CatBul of Cat = CommonX - [IAdv,CAdv,AdV,SC] ** open ResBul, Prelude, P
Predet = {s : GenNum => Str} ;
Ord = {s : AForm => Str} ;
Num = {s : CardForm => Str; nn : NNumber; nonEmpty : Bool} ;
Card = {s : CardForm => Str; n : Number} ;
Card = {s : CardForm => Str; nn : NNumber} ;
Quant = {s : Bool => AForm => Str; nonEmpty : Bool; spec : Species; p : Polarity} ;
-- Numeral