[][src]Type Definition sgx_libc::c_int

type c_int = i32;