XdrUint32 get getSCPLedgerSeq => this._getSCPLedgerSeq;
set getSCPLedgerSeq(XdrUint32 value) => this._getSCPLedgerSeq = value;