gf-3.2: examples/lrec-tutorial/Ara.gf

abstract Ara = {

cat S ; V ;

fun ktb_V : V ;

  Tab : V -> S ;
}