registered

The set of OpIds currently registered in this registry.