added NamesIna

This commit is contained in:
Krasimir Angelov committed 2024-10-22 20:26:18 +02:00
1 parent 6dfce2943c
commit 89dc2a13f0
4 files changed
+70 -4

No files matched your search

+2 -1
View File
@@ -78,7 +78,8 @@ concrete CatIna of Cat = CommonX ** open ResIna, Prelude in {
N2 = {s : Number => Str} ** {p2 : Str; c2 : Case} ;
N3 = {s : Number => Str} ** {p2,p3 : Str; c2,c3 : Case} ;
PN,LN = {s : Str} ;
PN = {s : Str} ;
LN = {s : Str ; n : Number ; art : Bool} ;
GN = {s : Str ; g : Sex} ;
SN = {s : Sex => Str ; pl : Str} ;