[]Type Definition skyline::libc::time_t

type time_t = i32;