C | |
| channel [Event] |
The type of communication channels carrying values of type
'a.
|
E | |
| event [Event] |
The type of communication events returning a result of type
'a.
|
S | |
| stm [Stm] |
The type of a transaction, when executed will produce a result of type
'a.
|
T | |
| t [Thread] |
The type of thread handles.
|
| t [Mutex] |
The type of mutexes.
|
| t [Cothread] | |
| t [Condition] |
The type of condition variables.
|
| tvar [Stm] |
the type of transactional variable, which has inside a value of type
'a
|