Structs
Active choice between P and Q
End of communication session
Passive choice (offer) between P and Q
A value that the protocol captures from the parent process.
Receive A, then P
Send A, then P
A special case of the protocol with a result() function.
Enums
Traits
The HasDual trait defines the dual relationship between protocols.