This plug winds or unwinds an Aave position, using a flash loan to either supply collateral and borrow, or repay debt and withdraw collateral. It asks the caller for supply_amount, supply_token, borrow_amount, borrow_token, aave_market, and the is_winding flag. It fires on the wind path when is_winding equals 1, and on the unwind path otherwise. Each path requires the solver's routing gain to cover the flash loan owed, reverting if it falls short.

• 
  ifif

  is_windingis_winding

  is equal tois equal to

  truetrue

  Steers control flow by comparing two values: branch, loop, or require the condition holds.Steers control flow by comparing two values: branch, loop, or require the condition holds.
• 
  Flash loan

  supply_amountsupply_amount

  supply_tokensupply_token

  from

  aave_marketaave_market

  Borrows an asset from an Aave market with no collateral, repaid inside this transaction.Borrows an asset from an Aave market with no collateral, repaid inside this transaction.
• 
  Set

  wind_loan_owedwind_loan_owed

  to

  owedowed

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Supply

  supply_amountsupply_amount

  supply_tokensupply_token

  to

  aave_marketaave_market

  Supplies an asset to an Aave market, minting aTokens to the wallet.Supplies an asset to an Aave market, minting aTokens to the wallet.
• 
  Borrow

  borrow_amountborrow_amount

  borrow_tokenborrow_token

  from

  aave_marketaave_market

  Borrows an asset from an Aave market against collateral you have supplied.Borrows an asset from an Aave market against collateral you have supplied.
• 
  Get

  The SolverThe Solver

  Holds an address as a named value that later steps reference.Holds an address as a named value that later steps reference.
• 
  Get balance of

  supply_tokensupply_token

  held by

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Transfer

  borrow_amountborrow_amount

  borrow_tokenborrow_token

  to

  addressaddress

  Sends a token from the socket to another address, native or ERC-20.Sends a token from the socket to another address, native or ERC-20.
• 
  Get solution

  Hands tokens already transferred to the solver over for routing, then verifies the outcome.Hands tokens already transferred to the solver over for routing, then verifies the outcome.
• 
  Get balance of

  supply_tokensupply_token

  held by

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Calculate

  balancebalance

  minusminus

  balancebalance

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Is

  calculationcalculation

  greater than or equal togreater than or equal to

  wind_loan_owedwind_loan_owed

  Compares two values with a chosen operator and returns a boolean.Compares two values with a chosen operator and returns a boolean.
• 
  requirerequire

  comparisonResultcomparisonResult

  equal toequal to

  truetrue

  Steers control flow by comparing two values: branch, loop, or require the condition holds.Steers control flow by comparing two values: branch, loop, or require the condition holds.
• 
  End block

  Closes the innermost open block, whether a conditional branch or a loop.Closes the innermost open block, whether a conditional branch or a loop.
• 
  End block

  Closes the innermost open block, whether a conditional branch or a loop.Closes the innermost open block, whether a conditional branch or a loop.
• 
  Else

  Opens the else branch of a conditional.Opens the else branch of a conditional.
• 
  Flash loan

  borrow_amountborrow_amount

  borrow_tokenborrow_token

  from

  aave_marketaave_market

  Borrows an asset from an Aave market with no collateral, repaid inside this transaction.Borrows an asset from an Aave market with no collateral, repaid inside this transaction.
• 
  Set

  unwind_loan_owedunwind_loan_owed

  to

  owedowed

  Assigns a value to a named variable that later steps reference.Assigns a value to a named variable that later steps reference.
• 
  Withdraw

  supply_amountsupply_amount

  supply_tokensupply_token

  from

  aave_marketaave_market

  Withdraws a supplied asset from an Aave market back to the socket.Withdraws a supplied asset from an Aave market back to the socket.
• 
  Get

  The SolverThe Solver

  Holds an address as a named value that later steps reference.Holds an address as a named value that later steps reference.
• 
  Get balance of

  borrow_tokenborrow_token

  held by

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Transfer

  supply_amountsupply_amount

  supply_tokensupply_token

  to

  addressaddress

  Sends a token from the socket to another address, native or ERC-20.Sends a token from the socket to another address, native or ERC-20.
• 
  Get solution

  Hands tokens already transferred to the solver over for routing, then verifies the outcome.Hands tokens already transferred to the solver over for routing, then verifies the outcome.
• 
  Get balance of

  borrow_tokenborrow_token

  held by

  0x4844...3a880x4844...3a88

  Reads a token balance held by an address, native or ERC-20.Reads a token balance held by an address, native or ERC-20.
• 
  Calculate

  balancebalance

  minusminus

  balancebalance

  Applies a binary arithmetic operation to two values and returns the result.Applies a binary arithmetic operation to two values and returns the result.
• 
  Is

  calculationcalculation

  greater than or equal togreater than or equal to

  unwind_loan_owedunwind_loan_owed

  Compares two values with a chosen operator and returns a boolean.Compares two values with a chosen operator and returns a boolean.
• 
  requirerequire

  comparisonResultcomparisonResult

  equal toequal to

  truetrue

  Steers control flow by comparing two values: branch, loop, or require the condition holds.Steers control flow by comparing two values: branch, loop, or require the condition holds.
• 
  End block

  Closes the innermost open block, whether a conditional branch or a loop.Closes the innermost open block, whether a conditional branch or a loop.
• 
  End block

  Closes the innermost open block, whether a conditional branch or a loop.Closes the innermost open block, whether a conditional branch or a loop.
• 
  End block

  Closes the innermost open block, whether a conditional branch or a loop.Closes the innermost open block, whether a conditional branch or a loop.