grammars/testConversions/MicroAbs.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


abstract MicroAbs = {

cat S; V; VV; W;

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;
}