Function: withdraw(uint256 assets, address receiver, address _owner)

This function is for withdrawing the token by burning the share.

Inputs

• assets

  • Control: Completely controlled by the caller.

  • Constraints: The maxWithdraw of the given _owner must not be bigger than the given assets input.

  • Impact: Amount to withdraw the token.

• receiver

  • Control: Completely controlled by the caller.

  • Constraints: Must have enough share to withdraw.

  • Impact: Address to transfer the withdrawn token.

• _owner

  • Control: Completely controlled by the caller.

  • Constraints: The maxWithdraw of the given _owner must not be bigger than the given assets input.

  • Impact: Address of the share owner.