Type Definition sgx_types::types::uint64_t

source · []
pub type uint64_t = u64;