package sessions

  1. Overview
  2. Docs

sessions 0.1.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

sessions

Documentation:

  • Binary_session This module provides modules to create binary sessions types for statically verifying protocols between a pair of concurrent processes.

sessions.lwt

Documentation:

  • Binary_session_lwt A lwt based implementation of Binary_session.Binary_process that uses a pipe for the communication channel between two processes.
OCaml

Innovation. Community. Security.