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