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

Source file `domain_util.ml`

trace
- CHANGES
- README
- Library trace
  - Trace
- Library trace.core
  - Trace_core
- Library trace.private
- Library trace_private_util
  - Trace_private_util
- Sources
  - trace
    - trace.ml
  - trace.core
  - trace_private_util

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