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")}