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