[][src]Type Definition rpi_pico_sdk_sys::ctypes::int32_t

type int32_t = i32;