added compounds for LN and PN

This commit is contained in:
EkaterinaVoloshina
2024-03-13 16:35:58 +01:00
parent bffdfdb790
commit a338c2c60e

View File

@@ -371,6 +371,17 @@ oper
} ; } ;
} ; } ;
compoundPN : (PN -> Str -> PN)
= \pn, adv -> pn ** {
s = \\c => pn.s ! c ++ adv
} ;
compoundLN : (LN -> Str -> LN)
= \ln, adv -> ln ** {
s = \\c => ln.s ! c ++ adv
} ;
mkN2 = overload { mkN2 = overload {
mkN2 : N -> N2 mkN2 : N -> N2
= \n -> lin N2 (mkFun n nullPrep) ; = \n -> lin N2 (mkFun n nullPrep) ;