> > def multiplier run(a,b) reveals c {
> > c := a * b
> > }
> >
> >This syntax handles "reveals" sort of like Java handles "throws". And it
>
> I'll have to give this suggestion more serious thought, but my immediate
> gut reaction is that I like it a *lot*.
In this formulation, how is "reveals" different than "returns"?