PolyML.Profiling structure

The PolyML.Profiling structure ...

structure Profiling:
  sig
        val profile: profileMode -> ('a -> 'b) -> 'a -> 'b
        val profileData: profileDataMode -> unit
        datatype profileDataMode = ProfileLiveData | ProfileLiveMutableData
        val profileDataStream:
           ((int * string) list -> unit) -> profileDataMode -> unit
        datatype profileMode =
            ProfileAllocations
          | ProfileLongIntEmulation
          | ProfileTime
          | ProfileTimeThisThread
        val profileStream:
           ((int * string) list -> unit) ->
             profileMode -> ('a -> 'b) -> 'a -> 'b
end