Type
Records profile information about the caller of a particular function.
MLWORKS.Profile
MLWorks.Profile
datatype function_caller = Function_Caller of
{id: function_id,
found: int,
top: int,
scans: int,
callers: function_caller list}This datatype records the profile information about the caller of a particular function in multi-level time profiling. The record contains the following data:
id
found
top
scans
callers