Modules§
Macros§
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§
- Choice
Result - This value is received when the choice is resolved.