Crate party_types[−][src]
Modules
| transports |
Macros
| prot | |
| rec |
Structs
| Channel | |
| Choice | This node allows receiving from either R1 or R2, depending on an external choice. |
| End | End this protocol. It is good practice to demand this result from the execution to prove that the protocol ran in full. |
| Rx | Send a value T to the given Role |
| Tx | Receive a value T from the given Role |
Enums
| ChoiceResult | This value is received when the choice is resolved. |
Functions
| pair |