Up – Package index » domain-local-await

domain-local-await

API
- Library domain-local-await

domain-local-await
- Library domain-local-await
  - Domain_local_await
    Thread
- Sources
  - domain-local-await
    Domain_local_await.ml
    Thread_intf.ml
    domain_local_await__.ml

API

Library domain-local-await

Domain_local_await A scheduler independent blocking mechanism.