pub unsafe extern "C" fn EverCrypt_Error_uu___is_AuthenticationFailure( projectee: EverCrypt_Error_error_code, ) -> bool