mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-25 09:13:18 -06:00
ListRS added to api
This commit is contained in:
1 parent
d118a2aa0f
commit
3a1c8c938f
1 file changed
+1
@@ -1647,6 +1647,7 @@ incomplete resource Constructors = open Grammar in { --%
|
||||
ListAP : Type = Grammar.ListAP ;
|
||||
ListNP : Type = Grammar.ListNP ;
|
||||
ListS : Type = Grammar.ListS ;
|
||||
ListRS : Type = Grammar.ListRS ;
|
||||
|
||||
-- bw to 4
|
||||
|
||||
|
||||
Reference in new issue
Block a user