strMatch.gf « strMatch « check « compiler « testsuite - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/testsuite/compiler/check/strMatch/strMatch.gf

blob: c1d2bc4b96d58da9d8f8b33e5ad1a8ad145810f9 (plain)

abstract strMatch = {
  cat S ;
  fun f : S -> S ;
      z : S ;
}