mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-11 05:49:31 -06:00
5 lines
70 B
Plaintext
5 lines
70 B
Plaintext
abstract strMatch = {
|
|
cat S ;
|
|
fun f : S -> S ;
|
|
z : S ;
|
|
} |