3.4.9 Profile structure values

'a result

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 exn

Description

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.

Generated with Harlequin WebMaker