EverCrypt_Error_InvalidIVLength

Constant EverCrypt_Error_InvalidIVLength 

Source
pub const EverCrypt_Error_InvalidIVLength: u32 = 4;