3.4.9 Profile structure values
'a result
Type
Summary
The type of the result returned from a profiled function.
Signature
MLWORKS.Profile
Structure
MLWorks.Profile
Type
datatype 'a result = Result of 'a | Exception of exnDescription
The type of the result returned from a profiled function. The result in question is the normal result of evaluating the function call f x, not the execution profile itself.
Either the function returns a value, in which case the profiler returns Result value, or it raises an exception, in which case the profiler returns Exception exn.