(Ara) Add inherent state field in IDet

This commit is contained in:
Inari Listenmaa
2018-11-16 15:02:59 +01:00
parent 9171a1b612
commit 9d59e59387
3 changed files with 12 additions and 5 deletions
+4 -2
View File
@@ -1368,8 +1368,10 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
IDet : Type = {
s : Gender -- IdetCN needs to choose the gender of the CN
=> State => Case => Str ;
n : Number
=> State -- Needs to be retained variable for IP; PrepIP chooses the state of IP
=> Case => Str ;
n : Number ;
d : State -- in IdetCN, chooses the state of the CN
} ;
IQuant : Type = {