Constant hacl_sys::EverCrypt_Error_AuthenticationFailure

source · 
pub const EverCrypt_Error_AuthenticationFailure: u32 = 3;