added type signatures

This commit is contained in:
Krasimir Angelov
2025-09-11 10:07:38 +02:00
parent 5375cda243
commit 153ad8b41a

View File

@@ -504,7 +504,10 @@ oper
mkV : Str -> Str -> V = reg2V -- Nonfinite Indicative;Pres;('PSg', P2)
} ;
mkVV,mkVS,mkVQ,mkVA = \v -> v ;
mkVV : V -> VV = \v -> v ;
mkVS : V -> VS = \v -> v ;
mkVQ : V -> VQ = \v -> v ;
mkVA : V -> VA = \v -> v ;
mkV2 = overload {
mkV2 : V -> V2 = \v -> v ** {c2 = noPrep} ;