cookie c : int fun setit () = setCookie c {Value = 13, Expires = None, Secure = False}; return fun doit () = ro <- getCookie c; clearCookie c; case ro of None => return None | Some v => return Some {[v]} fun main () = return