path: root/examples/attempto/Symbols.gf

abstract Symbols = {

cat Var ;

fun X_Var : Var ;
fun Y_Var : Var ;

}