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.