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