Type Definition uikit_sys::user_time_t

type user_time_t = i64;