XdrUint32 get txMaxReadLedgerEntries => this._txMaxReadLedgerEntries;
set txMaxReadLedgerEntries(XdrUint32 value) => this._txMaxReadLedgerEntries = value;