adamc@436: val now : time = readError "10/30/08 14:35:42"
adamc@437: val later : time = readError "10/30/08 14:37:42"
adamc@436: 
adamc@437: fun main () = return <xml>{[now]}, {[now = now]}, {[now = later]}, {[later < now]}, {[now < later]}</xml>