adam@1727: fun isNone [a] (x : option a) =
adam@1727:     case x of
adam@1727:         None => True
adam@1727:       | Some _ => False