C | |
| chan [Binary_session.IO] |
The abstract type representing a communication channel between two processes.
|
| chan_endpoint [Binary_session.IO] |
The abstract type representing one end of a communication channel.
|
| chan_endpoint [Binary_session.Binary_process] |
The abstract type representing one end of a communication channel.
|
I | |
| io [Binary_session.Binary_process] |
The abstract monadic type representing a computation returning
'a.
|
P | |
| process [Binary_session.Binary_process] |
The type representing a process returning a value of type
'a.
|
S | |
| session [Binary_session.Binary_process] |
The type representing a communication protocol made up of a sequence of operations between two processes.
|
T | |
| t [Binary_session.IO] |
The monadic light weight thread type returning value
'a.
|