[][src]Type Definition rpi_pico_sdk::ctypes::intmax_t

type intmax_t = i64;