Module Await_syncSource

Basic synchronization primitives using Await.

Sourceexception Poisoned

Poisoned is the exception raised when trying to access a synchronization or communication primitive that has been poisoned.

Sourceexception Frozen

Frozen is the exception raised when trying to access a synchronization or communication primitive that has been frozen.

Sourceexception Empty

Empty is the exception raised when the target communication structure was empty.

Sourceexception Already_full

Already_full is the exception raised when the target communication structure was already full.

Sourcemodule Sync : sig ... end

Synchronization primitives which use Sync.t

Sourcemodule Await : sig ... end

Synchronization primitives which use Await.t