Type Definition sgx_types::int32_t[][src]

type int32_t = i32;