Files
gf-core/testsuite/lpgf/Scratch.gf

8 lines
89 B
Plaintext

abstract Scratch = {
cat S ; F ;
fun
FtoS : F -> S ;
f1 : F ;
f2 : F ;
}