blob: a3a06cb68e5f43cbd19aea21df97ca12b8446fcc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
fun main wrap =
let
fun edit id =
let
val r = 0
fun save () = <xml/>
in
wrap (save ())
end
in
edit 0
end
fun wrap (inside : xbody) = return <xml/>
val main () = main wrap
|