AfterEval -- top level method applied after evaluation
Synopsis
-
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