rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.paper/util/Agreement/Decided

Decided

rdts.protocols.paper.util.Agreement.Decided
final case class Decided[+A](value: A)

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with