gf-3.2: book/examples/chapter2/Letters.gf

abstract Letters = {

cat L ;
fun 
  a, b, c, d, e, f, g, h, i, j, k, l, m, 
  n, o, p, q, r, s, t, u, v, w, x, y, z : L ;

}