This plug winds or unwinds an Aave leveraged position in a single flash-loaned transaction. It asks the caller for supply_amount, supply_token, aave_market, borrow_amount, borrow_token, and the is_winding flag. When is_winding equals 1 it flash loans, supplies, and borrows; otherwise it flash loans, repays, and withdraws, routing tokens through the solver each way. Each branch requires the routed gain to cover the flash loan owed, so an unfunded or stale routing quote reverts the whole transaction.

• 
  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

  wind loan owedwind loan owed

  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

  solversolver

  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

  supply token balancesupply token balance

  minusminus

  supply token balance 2supply token balance 2

  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

  enough to repay wind loanenough to repay wind loan

  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

  unwind loan owedunwind loan owed

  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

  solver 2solver 2

  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

  borrow token balanceborrow token balance

  minusminus

  borrow token balance 2borrow token balance 2

  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

  enough to repay unwind loanenough to repay unwind loan

  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.