fun getOpt (t ::: Type) (o : option t) (v : t) : t =
case o of
None => v
| Some x => x
cookie int : int
cookie float : float
fun main () : transaction page =
n <- getCookie int;
n <- return (getOpt n 7);
sn <- source 6;
f <- getCookie float;
f <- return (getOpt f 1.23);
sf <- source 4.56;
return
{[n]}}/>
CHANGE
{[f]}}/>
CHANGE