# AfterEval -- top level method applied after evaluation

## Synopsis

• Usage:
X#AfterEval = f
• Inputs:
• f, a function to be applied after evaluating a top-level evaluation result r of type X.
• Consequences:
• The value returned result replaces the original for storing in the output variables and for printing

## For the programmer

The object AfterEval is .