Module mpstthree::name

The main trait used for representing the name of a participant.

Every structure that relies on this trait, such as RoleA and RoleB, contains at least a parameter, which is a Role itself. The only exception is RoleEnd, which represents the end of any ordering.

Modules

• a
  This module contains the required definitions and functions for the basic name A.
• b
  This module contains the required definitions and functions for the basic name B.
• c
  This module contains the required definitions and functions for the basic name C.

Traits

• Name
  Trait for session types. Provides duality.