_oid_cache_ready _oid_oper _oper_names _oper_oid _type_names _type_oids _typeoid_cache_ready fill_oid_cache fill_oid_cache_new internal_type name_oper namestrcmp oid_oper oid_type oper_name oper_oid populate_operoid_cache populate_operoid_cache_new populate_typeoid_cache SH_DECLARE SH_DEFINE SH_ELEMENT_TYPE SH_EQUAL SH_HASH_KEY SH_KEY SH_KEY_TYPE SH_PREFIX SH_SCOPE type_oid

_oper_names const char* _oper_names[] Global array for caching operator names used in MobilityDB to avoid (slow) lookups. The array is initialized when the extension is loaded.