XdrUint32 get lastModifiedLedgerSeq => this._lastModifiedLedgerSeq;
set lastModifiedLedgerSeq(XdrUint32 value) => this._lastModifiedLedgerSeq = value;