Up – Package index » await » Sources » await.kernel » await_kernel_intf.ml

Source file `await_kernel_intf.ml`

await
- LICENSE
- README
- Library await
  - Await
- Library await.blocking_futex
  - Await_blocking_futex
- Library await.capsule
  - Await_capsule
- Library await.in_async
  - Await_in_async
- Library await.kernel
  - Await_kernel
- Library await.scratchpad
  - Await_scratchpad
- Library await.sync
  - Await_sync
- Library await.sync_blocking
  - Sync_blocking
- Library await.sync_spinning
  - Sync_spinning
- Sources
  - await
    - await.ml
  - await.blocking_futex
    - await_blocking_futex.ml
  - await.capsule
  - await.in_async
    - await_in_async.ml
  - await.kernel
  - await.scratchpad
    - await_scratchpad.ml
  - await.sync
  - await.sync_blocking
    - sync_blocking.ml
  - await.sync_spinning
    - sync_spinning.ml

1
2
(** [Terminated] is the exception indicating that an operation has been terminated. *)
exception Terminated