B | |
| Binary_session |
This module provides modules to create binary sessions types for statically verifying protocols between
a pair of concurrent processes.
|
| Binary_session_lwt |
A lwt based implementation of
Binary_session.Binary_process
that uses a pipe for the communication channel between two processes.
|
M | |
| Make [Binary_session_lwt] |
Functor to create a module of type
Binary_session.Binary_process.
|
| Make [Binary_session] |
Functor to create a module of type
Binary_session.Binary_process given a message module I of type Binary_session.IO.
|