Global array for caching operator names used in MobilityDB to avoid (slow) lookups.
The array is initialized when the extension is loaded.