[src]

std::libc::types::os::arch::c95::time_t

type time_t = i64;