[][src]Type Definition rpi_pico_sdk_sys::user_time_t

type user_time_t = i64;