Message: ExecuteMsg.InsuranceFundWithdraw

This message can be sent via a CosmosWasm contract and allows for the insurance fund to be withdrawn from.

The contractAddr address is checked to ensure that it is contained within the set of sudo contracts defined in the x/sudo module.

The parameters that a user can control are

• Amount — This is the amount of nUSD to withdraw from the insurance fund; it must be greater than zero.

• To — This is the address to send the withdrawn nUSD to; it must be a valid address.