rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/rdts.datatypes.experiments.protocols.messagebased/Message/Prepare

Prepare

rdts.datatypes.experiments.protocols.messagebased.Message.Prepare
final case class Prepare(ballotNum: BallotNum)

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with