Internals option
Shell.Options.Internals
val showEnviron : bool option
If true, show the lambda environment during compilation. The lambda environment is a mapping of lambda values to lambda variables.
An example of the output produced during the evaluation of a simple ML expression is given below:
MLWorks> val x = 1;
The environment
Ftr: { }
Top: VE: { x --> FIELD 0/1 }
SE: { }
val x : int = 1
MLWorks>