forked from GitHub/gf-core
10 lines
136 B
Plaintext
10 lines
136 B
Plaintext
cat S; E;
|
|
|
|
fun f : E -> S ;
|
|
fun g : S -> S ;
|
|
fun e : E ;
|
|
|
|
lin f e = { s = e.s } ;
|
|
lin g s = { s = s.s ++ "x" } ;
|
|
lin e = { s = "e" } ;
|