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