[][src]Type Definition sgx_types::int32_t

type int32_t = i32;