1 2 3 4 5 6 7
fun rpcFunc l : transaction {} = return () fun main () : transaction page = return <xml><body> <button onclick={ rpc (rpcFunc (("" :: []) :: [])) }/> </body></xml>