Up – Package index » trace » Sources » trace.util » domain_util.ml

Source file `domain_util.ml`

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
  - trace
    - trace.ml
  - trace.core
  - trace.debug
    - trace_debug.ml
    - track_spans.ml
  - trace.simple
    - simple_span.ml
    - trace_simple.ml
  - trace.util

1
2
3
# 1 "src/util/domain_util.dummy.ml"
let cpu_relax () = ()
let n_domains () = 1