adamc@582: fun main () : transaction page =
adamc@582: sInt <- source 0;
adamc@583: sFloat <- source 1.23;
adamc@583: sBoth <- source (7, 42.1);
adamc@583:
adamc@583: sOpt <- source None;
adamc@586: sBool <- source True;
adamc@583:
adamc@582: return
adamc@583: {[n + 3]}}/> Change
adamc@583:
adamc@583: {[n + 1.0]}}/> Change
adamc@583:
adamc@585: {[p.1]}, {[p.2]}}/>;
adamc@585: return Initial
adamc@585: | (fst, snd) => return {[fst]}, {[snd]}}/>
adamc@585: Change
adamc@584:
adamc@584: return None
adamc@584: | Some n => return {[n]}}/>
adamc@584: Change
adamc@586:
adamc@586: {[b]}}/> Change
adamc@582: