The redeem function converts a specified quantity of aTokens into the underlying asset, and returns them to the user. The amount of underlying tokens received is equal to the quantity of aTokens redeemed, multiplied by the current Exchange Rate. The amount redeemed must be less than the user's Account Liquidity and the market's available liquidity.
SErc20 / SEther
function redeem(uint redeemTokens) returns (uint)
SEther aToken = SEther(0x3FDB...);
require(aToken.redeem(7) == 0, "something went wrong");
const aToken = SErc20.at(0x3FDA...);