XdrInt64 get amountSold => this._amountSold;
set amountSold(XdrInt64 value) => this._amountSold = value;