Module mpstthree::binary::choose

This module contains the functions and macros for sending a choice for binary sessions.

Functions

choose_left

Given a choice between sessions S1 and S1, choose the first option.

choose_right

Given a choice between sessions S1 and S1, choose the second option.

Type Definitions

Choose

Choose between two sessions S1 and S2. Implemented using Send and Either.