added invarA

This commit is contained in:
Krasimir Angelov
2026-05-06 09:18:32 +02:00
parent 57ef377e6d
commit a7341d9be1

View File

@@ -507,6 +507,10 @@ oper
mkA : Str -> Str -> A = reg2A -- s;Masc;Sg;Nom s;Masc;Sg;Dat
} ;
invarA : Str -> A = \s -> lin A {
s = \\_,_,_ => s
} ;
mkA2 = overload {
mkA2 : A -> A2 = \a -> lin A2 (a ** {c2 = noPrep}) ;
mkA2 : A -> Prep -> A2 = \a,p -> lin A2 (a ** {c2 = p}) ;