Skip to content

@vault:maxWithdraw

Maximum amount of underlying assets an account can withdraw from an ERC-4626 vault, in base units of the asset.

⚗️ Experimental — available at next.evmcrispr.com.

Returns: number

@vault:maxWithdraw(vault account?)
NameTypeDescription
vaultaddressERC-4626 vault address
[account]addressAccount to inspect (defaults to the connected account)
# Print how much WXDAI the connected account can withdraw
print "Withdrawable:" @vault:maxWithdraw(0xaf204776c7245bF4147c2612BF6e5972Ee483701 @me)

Read maxWithdraw(owner) at assertion time (the owner still defaults to the connected account at composition time).