cookie c : string fun other () = so <- getCookie c; case so of None => return No cookie | Some s => return Cookie: {[s]} structure M = struct fun aux () = setCookie c "Hi"; so <- getCookie c; case so of None => return No cookie | Some s => return Cookie: {[s]}
Other
end fun main () : transaction page = return Other
Aux