def get_ticket(self, ticket_id):
        raise NotImplementedError()
Add a global variable of given type with given name.
dataset/ETHPy150Open getlogbook/logbook/logbook/ticketing.py/BackendBase.get_ticket--crossover with--dataset/ETHPy150Open jrk/llvm-py/llvm/core.py/Module.add_global_variable