1
0
forked from GitHub/gf-rgl

add PassAgentVPSlash to May

This commit is contained in:
Meowyam
2023-03-21 16:27:05 +08:00
parent 9c96fc6653
commit 69356d8c9b
7 changed files with 48 additions and 14 deletions
+4 -2
View File
@@ -79,8 +79,10 @@ oper
--
-- mkV2A : Str -> V2A
-- = \s -> lin V2A (regV s ** {c2 = noPrep}) ;
-- mkV2Q : Str -> V2Q
-- = \s -> lin V2Q (regV s ** {c2 = noPrep}) ;
mkV2Q : overload {
mkV2Q : Str -> V2Q ;
mkV2Q : V -> Prep -> V2Q ;
} ;
-----