Fixtype of sets of pairs consisting of addresses and positive integers.
As defined in validator-state, a validator state includes one of this sets.
