CopyAbs.gf « chapter2 « examples « gf-book - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/gf-book/examples/chapter2/CopyAbs.gf

blob: 9a915568b977af275df4538a1cd05fc85b801690 (plain)

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