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

Promise

rdts.datatypes.experiments.protocols.messagebased.Message.Promise
final case class Promise(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