EverCrypt_Error_InvalidKey

Constant EverCrypt_Error_InvalidKey 

Source
pub const EverCrypt_Error_InvalidKey: u32 = 2;