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 |