XdrInt64 get ledgerMaxInstructions => this._ledgerMaxInstructions;
set ledgerMaxInstructions(XdrInt64 value) => this._ledgerMaxInstructions = value;