toggle menu
dsl
10.4.0
common
switch theme
search in API
dsl
/
it.unibo.collektive.aggregate
/
AggregateResult
/
AggregateResult
Aggregate
Result
constructor
(
localId
:
ID
,
result
:
R
,
toSend
:
OutboundMessage
<
ID
>
,
newState
:
State
)