diff options
Diffstat (limited to 'grammars/testConversions/MicroAbs.gf')
| -rw-r--r-- | grammars/testConversions/MicroAbs.gf | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf index 44a3a0982..3e2e6c24b 100644 --- a/grammars/testConversions/MicroAbs.gf +++ b/grammars/testConversions/MicroAbs.gf @@ -1,8 +1,16 @@ abstract MicroAbs = { -cat S; +cat S; V; VV; W; -fun vars : S; +fun +sv : V -> S; +vars : VV; +ww : W -> W; +svw : V -> W -> S; +supr : V -> V -> S; +supredup : S -> S -> S; +suplbl : V -> S; +reorder : V -> V -> V; } |