Type Definition sgx_types::intmax_t[][src]

type intmax_t = i64;