|
|
|---|
|
|
|
|---|
Fixtype of system states.
This is a product type introduced by fty::defprod.
This fixtype captures the state of the whole system of validators, i.e. the state of the whole protocol. It consists of a map from validator addresses to optional validator states (see validators-state), and a set of messages that models the state of the network (see message for a rationale of this model of the network).