path: root/grammars/ljung/variants/TestVarsA.gf

abstract TestVarsA = {

cat S;

fun 
f : S -> S;
a : S;

}