Expand description
This module defines the behaviour of protocol parties in the different phases of the protocol.
Structsยง
- Channel
Config - Collects all party communication channels.
- Party
- A struct defining protocol party state during a protocol execution.
- Wire
Label - A Wire label given by a party.