4 The MLWorks Interactive Environment Library
4.5 Profiling: the Profile structure
The Profile structure provides a programmatic interface to the MLWorks profiler. See Section 3.4 on page 21 for more details.
structure Profile:
sig
val profile: ('a -> 'b) -> 'a -> 'b
val profileFull: MLWorks.Profile.options
-> ('a -> 'b) -> 'a -> 'b
val profileSpace: ('a -> 'b) -> 'a -> 'b
val profileTime: ('a -> 'b) -> 'a -> 'b
val profileTool: MLWorks.Profile.profile -> unit
end