added linref PN
This commit is contained in:
1 parent
9cfc36fc73
commit
4beacc0f64
1 file changed
+1
@@ -126,6 +126,7 @@ concrete CatPol of Cat = CommonX - [CAdv] ** open ResPol, Prelude, (R = ParamX)
|
||||
linref
|
||||
A = \a -> a.pos.s1 ;
|
||||
A2 = \a -> a.pos.s1 ++ a.c.s ;
|
||||
PN = \pn -> pn.nom ;
|
||||
|
||||
};
|
||||
|
||||
Reference in new issue
Block a user