added ExtraFin.CompNomAP

This commit is contained in:
Aarne Ranta
2018-06-19 17:51:38 +02:00
parent 3156959205
commit 8ff47abd59
2 changed files with 5 additions and 1 deletions

View File

@@ -161,6 +161,9 @@ concrete ExtraFin of ExtraFinAbs = CatFin **
CompPartAP ap = {
s = \\agr => ap.s ! False ! NCase (complNumAgr agr) ResFin.Part
} ;
CompNomAP ap = {
s = \\agr => ap.s ! False ! NCase (complNumAgr agr) ResFin.Nom
} ;
---- copied from VerbFin.CompAP, should be shared
ICompAP ap = {