GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 17:08:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

more type signatures

Browse Source
This commit is contained in:
Krasimir Angelov
2025-11-06 12:46:05 +01:00
parent d589cedc6b
commit b84d05034d
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/gaelic/ParadigmsGla.gf
View File

@@ -2136,10 +2136,10 @@ mkV3 = overload {
mkV3 : V -> Prep -> Prep -> V3 = \v,p2,p3 -> lin V3 v ** {c2=p2; c3=p3} ;
} ;
oper mkLN = \s -> lin LN {s=s} ;
oper mkGN = \s -> lin GN {s=s} ;
oper mkSN = \s -> lin SN {s=s} ;
oper mkPN = \s -> lin PN {s=s} ;
oper mkLN : Str -> LN = \s -> lin LN {s=s} ;
oper mkGN : Str -> GN = \s -> lin GN {s=s} ;
oper mkSN : Str -> SN = \s -> lin SN {s=s} ;
oper mkPN : Str -> PN = \s -> lin PN {s=s} ;
mkAdv : Str -> Adv = \s -> lin Adv {s=s} ;
mkAdV : Str -> AdV = \s -> lin AdV {s=s} ;