Up – Package index » trace » Library trace.util » Trace_util » Thread_util

Module `Trace_util.Thread_util`Source

trace
- CHANGES
- README
- Library trace
  - Trace
- Library trace.core
  - Trace_core
- Library trace.debug
  - Trace_debug
- Library trace.simple
  - Trace_simple
- Library trace.util
  - Trace_util
- Sources

Sourceval get_tid : unit -> int

Get current thread ID