[][src]Type Definition rpi_pico_sdk::__int32_t

type __int32_t = c_int;