forked from GitHub/gf-core
5 lines
70 B
Plaintext
5 lines
70 B
Plaintext
abstract strMatch = {
|
|
cat S ;
|
|
fun f : S -> S ;
|
|
z : S ;
|
|
} |