Module mpstthree::role [−][src]
Expand description
The main trait used for representing an ordering or the name of a participant.
Every structure that relies on this trait, such as
mpstthree::role::a::RoleA
and
mpstthree::role::b::RoleB
, contains at
least a parameter, which is a mpstthree::role::Role
itself. The only exception is
mpstthree::role::end::RoleEnd
, which represents
the end of any ordering.
Modules
Traits
Trait for session types. Provides duality.