def addOperator(self, key: str, category: str, source: Operator, priority: int=(- 1)):
    self._operators[key] = {'category': category, 'priority': priority, 'imp': source}
def addOperator(self, key: str, category: str, source: Operator, priority: int=(- 1)):
    self._operators[key] = {'category': category, 'priority': priority, 'imp': source}