forked from GitHub/gf-core
added auxVV to ParadigmsDut
This commit is contained in:
@@ -164,7 +164,8 @@ oper
|
|||||||
|
|
||||||
mkV0 : V -> V0 ; --%
|
mkV0 : V -> V0 ; --%
|
||||||
mkVS : V -> VS ;
|
mkVS : V -> VS ;
|
||||||
mkVV : V -> VV ;
|
mkVV : V -> VV ; -- with "te"
|
||||||
|
auxVV : V -> VV ; -- without "te"
|
||||||
|
|
||||||
mkV2V : overload {
|
mkV2V : overload {
|
||||||
mkV2V : V -> Prep -> V2V ;
|
mkV2V : V -> Prep -> V2V ;
|
||||||
@@ -478,6 +479,7 @@ oper
|
|||||||
mkVS v = lin VS v ;
|
mkVS v = lin VS v ;
|
||||||
mkVQ v = lin VQ v ;
|
mkVQ v = lin VQ v ;
|
||||||
mkVV v = lin VV (v ** {isAux = False}) ;
|
mkVV v = lin VV (v ** {isAux = False}) ;
|
||||||
|
auxVV v = lin VV (v ** {isAux = True}) ;
|
||||||
|
|
||||||
V0 : Type = V ;
|
V0 : Type = V ;
|
||||||
-- AS, A2S, AV : Type = A ;
|
-- AS, A2S, AV : Type = A ;
|
||||||
|
|||||||
Reference in New Issue
Block a user