gf-3.2.9: gf-book/examples/chapter2/CopyAbs.gf

abstract CopyAbs = {
  cat S ; AB ;
  fun s   : AB -> S ;
      end : AB ;
      a,b : AB -> AB ;
}