added category ACard

2018-07-27 11:57:46 +02:00
parent e56ba66232
commit e7b1c47300
4 changed files with 4 additions and 0 deletions
@@ -58,6 +58,7 @@ concrete CatBul of Cat = CommonX - [IAdv,AdV,SC] ** open ResBul, Prelude, Predef
    Ord = {s : AForm => Str} ;
    Num = {s : CardForm => Str; nn : NNumber; nonEmpty : Bool} ;
    Card = {s : CardForm => Str; nn : NNumber} ;
+    ACard = {s : Species => Str; nn : NNumber} ;
    Quant = {s : Bool => AForm => Str; nonEmpty : Bool; spec : Species; p : Polarity} ;

 -- Numeral