The Declaration Approach (was: Some thoughts on the 'reveal' operator)

[Bill Frantz]

The more I hear, the more I like:

     def square(x) reveals {x*x}

(Or perhaps)

     to square(x) reveal {x*x}

YMOV