你这个用到的是f10x标准库，我没有这个库。请用f4xx标准库（也就是头文件为stm32f4xx.h）为我完成任务

了解，如果你使用的是STM32F4系列的微控制器，例如STM32F407，那么我们需要调整一下之前的代码以适应STM32F4xx标准库。以下是基于`stm32f4xx.h`的代码示例，同样实现了四盏LED的流水灯效果：

#include "stm32f4xx.h"
#include "delay.h" // 假设你有一个自定义的延时函数库

// 定义LED GPIO口和编号
#define LED_PIN_1 GPIO_Pin_0
#define LED_PIN_2 GPIO_Pin_1
#define LED_PIN_3 GPIO_Pin_2
#define LED_PIN_4 GPIO_Pin_3
#define LED_PORT GPIOB // 假设LED连接到GPIOB

// 初始化GPIO口
void init_GPIO(void) {
    RCC_AHB1PeriphClockCmd(RCC_AHB1Periph_GPIOB, ENABLE); // 启动GPIOB时钟

    GPIO_InitTypeDef GPIO_InitStructure;
    GPIO_InitStructure.GPIO_Pin = LED_PIN_1 | LED_PIN_2 | LED_PIN_3 | LED_PIN_4;
    GPIO_InitStructure.GPIO_Mode = GPIO_Mode_Out_PP; // 输出推挽模式
    GPIO_InitStructure.GPIO_Speed = GPIO_Speed_50MHz; // 高速
    GPIO_Init(LED_PORT, &GPIO_InitStructure);
}

// 点亮指定LED
void toggle_LED(int led_num) {
    GPIO_SetBits(LED_PORT, led_num); // 设置LED高电平
    delay_ms(100); // 暂停100ms
    GPIO_ResetBits(LED_PORT, led_num); // 设置LED低电平
}

int main(void) {
    init_GPIO();

    for (int i = 1; i <= 4; ++i) {
        toggle_LED(i); // 点亮并保持
        delay_ms(300); // 等待其他LED亮起，整个过程大约400ms
    }

    while (1); // 无限循环，程序不停止
}

// 自定义延时函数，替换之前的部分
void delay_ms(uint32_t ms) {
    HAL_Delay(ms); // 使用STM32 HAL库的延时函数
}