The PolyML.Profiling structure

## 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