3.4 Profiling: the Profile structure
profile function. The form of a call to profile is:
profile options f xThis call produces an execution profile of the evaluation of the function f applied to the value x. Arguments are passed to the profiler with options, a value that specifies a stack-scanning interval (in "user" milliseconds, the time that is devoted solely to evaluating user code rather than internal MLWorks operations) and a selector function that determines a profiling manner to be used when profiling f.
Generated with Harlequin WebMaker