fun s2i s =
case read _ s of
None => 0
| Some n => n
fun s2f s =
case read _ s of
None => 0.0
| Some n => n
fun s2s s =
case read _ s of
None => "Error"
| Some s => s
fun s2b s =
case read _ s of
None => False
| Some b => b
fun main () : transaction page = return
Error = {cdata (show _ (s2i "Error"))}
3 = {cdata (show _ (s2i "+3"))}
Error = {cdata (show _ (s2f "Error"))}
98.76 = {cdata (show _ (s2f "98.76"))}
Error = {cdata (show _ (s2b "Error"))}
False = {cdata (show _ (s2b "false"))}
True = {cdata (show _ (s2b "trUE"))}
Hi = {cdata (s2s "Hi")}