[][src]Type Definition sgx_libc::intmax_t

type intmax_t = i64;