WithdrawWithdraw

SynFutures · Acts onchain

Withdraws a token from SynFutures' Gate on Base out of the Plug account's reserve. The Gate's withdraw takes one word packing the amount, in the token's own decimals, above the token's address, and pays the Plug account. All reads the Plug account's reserve from the Gate when the program runs and withdraws exactly it. Margin still posted in a position, an order or a range is not in the reserve: closing a position whole returns its margin there. The Gate holds back a withdrawal that takes the account's net outflow of the token past the Gate's threshold for that token; such a withdrawal pends for the Gate's pending duration, a day on Base, and is paid by a release once it has run. SynFutures keys every Gate reserve, position, order and range on its trader, the address that sends the call, and Base's Gate has no operator, depositFor or withdrawFor through which another address could act for a trader. A plug's deposits, trades, orders and ranges are therefore the Plug account's: they sit in the Plug account's reserve and portfolio, later steps act on them from the Plug account, and a withdrawal pays the Plug account. A reserve, position, order or range of the wallet's own is acted on only by a call the wallet sends itself. Reach for it to take margin home once a plug has closed its trades, or to move it to another venue in the same run.

• Amountdecimal:inheritconstraint:nonzerouint256
• Tokenstandard:tokenaddress