/// Public constructor.
 public MsgburnCCC(burnCCC burnCCC)
 {
     Trace.Assert(burnCCC != null);
     // Assigns the properties
     this.burnCCC = burnCCC;
     base.setProperties("commercio/MsgburnCCC", _toJson());
 }
        /// Closes the ETP having the given [timestamp].
        /// Optionally [fee] and broadcasting [mode] parameters can be specified.
        public static async Task <TransactionResult> burnCCC(int timestamp, Wallet wallet, StdFee fee = null, BroadcastingMode mode = BroadcastingMode.SYNC)
        {
            burnCCC burnCCC = burnCCCHelper.fromWallet(wallet, timestamp);

            MsgburnCCC msg = new MsgburnCCC(burnCCC: burnCCC);

            // Careful here, Eugene: we are passing a list of BaseType containing the derived MsgSetDidDocument msg
            return(await TxHelper.createSignAndSendTx(new List <StdMsg> {
                msg
            }, wallet, fee : fee, mode : mode));
        }