path: root/examples/lrec-tutorial/Ara.gf

abstract Ara = {

cat S ; V ;

fun ktb_V : V ;

  Tab : V -> S ;
}