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