abstract Ara = {

cat S ; V ;

fun ktb_V : V ;

  Tab : V -> S ;
}