[][src]Type Definition open_cl_sys::user_time_t

type user_time_t = i64;