EverCrypt_CTR_uint8

Type Alias EverCrypt_CTR_uint8 

Source
pub type EverCrypt_CTR_uint8 = u8;