XdrUint32 get maxTxSetSize => this._maxTxSetSize;
set maxTxSetSize(XdrUint32 value) => this._maxTxSetSize = value;