fn is_erc20_transfer_call<'gcx>(gcx: Gcx<'gcx>, expr: &Expr<'gcx>) -> boolExpand description
Checks if an expression is a call to a contract member matching the ERC20 signature of
function transfer(address to, uint256 amount) external returns (bool);function transferFrom(address from, address to, uint256 amount) external returns (bool);