Type Definition sgx_types::sgx_aes_gcm_128bit_tag_t

type sgx_aes_gcm_128bit_tag_t = [uint8_t; 16];