fun main () = tm <- now; frag <- Fragment.create (fn () tm => {Re_render = Some (txt tm), Change_state = None}) () (txt tm); return <xml> <body onload={Scheduler.timer (tm <- now; Fragment.notify frag tm) 1000}> {Fragment.render frag} </body> </xml>