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