(Est) Add linref for VPS

2022-06-03 15:26:05 +03:00
parent d48cf92359
commit 8a87dc210c
2 changed files with 4 additions and 0 deletions
@@ -54,6 +54,9 @@ concrete ExtendEst of Extend =
    VPI2 = X.VPI ** {c2 : Compl} ;
    [VPI2] = X.ListVPI ** {c2 : Compl}  ;

+  linref
+    VPS = X.linVPS (agrP3 Sg) ;
+
  lin
    MkVPS = X.MkVPS ;
    BaseVPS = X.BaseVPS ;