Function: redeem(uint256 shares, address receiver, address _owner)

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

Inputs

• shares

  • Control: Completely controlled by the caller.

  • Constraints: The maxRedeem of the given _owner must not be bigger than the given shares input.

  • Impact: Amount of shares to redeem.

• receiver

  • Control: Completely controlled by the caller.

  • Constraints: Must have enough shares to redeem.

  • Impact: Address to transfer the token.

• _owner

  • Control: Completely controlled by the caller.

  • Constraints: The maxRedeem of the given _owner must not be bigger than the given shares input.

  • Impact: Address of the share owner.