adamc@459: cookie c : string
adamc@459: 
adamc@459: fun main () : transaction page =
adamc@459:     setCookie c "Hi";
adamc@463:     so <- getCookie c;
adamc@459:     case so of
adamc@459:         None => return <xml>No cookie</xml>
adamc@459:       | Some s => return <xml>Cookie: {[s]}</xml>