path: root/grammars/testConversions/MicroAbs.gf

abstract MicroAbs = {

cat A; 

fun 
a, ab : A;
redup : A -> A;

}