interface IERC20Mintable is IERC20 {
    /**
     * @notice called by predicate contract to mint tokens while withdrawing
     * @dev Should be callable only by MintableERC20Predicate
     * Make sure minting is done only by this function
     * @param user user address for whom token is being minted
     * @param amount amount of token being minted
     */
    function mint(address user, uint256 amount) external;
}
function mint(address user, uint256 amount) external;

/**
 * @notice called by predicate contract to mint tokens while withdrawing
 * @dev Should be callable only by MintableERC20Predicate
 * Make sure minting is done only by this function
 * @param user user address for whom token is being minted
 * @param amount amount of token being minted
 */