Index of module types

B
Binary_process [Binary_session]	A process which is parametrized by a binary session type.
I
IO [Binary_session]	Abstract type which can perform monadic concurrent IO.