[][src]Type Definition rpi_pico_sdk::user_time_t

type user_time_t = i64;