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 s2b s = case read _ s of None => False | Some b => b fun main () : transaction page = return