adamc@173: val flip = fn x : int => case x of 0 => 1 | _ => 0
adamc@173: 
adamc@173: val zero = flip 1
adamc@173: val one = flip 0
adamc@173: 
adamc@173: val flipS = fn x : string => case x of "" => "Hello world!" | _ => ""
adamc@173: 
adamc@173: val s1 = flipS ""
adamc@173: val s2 = flipS "Boop"