def tuple_to_int(t):
    mytmplist = []
    for element in t:
        mytmplist.append(int(element))
    return tuple(mytmplist)
Creates a copy of a tuple, populated with int casts of its elements.
dataset/ETHPy150Open victor-gil-sepulveda/pyProCT/pyproct/tools/plotTools.py/tuple_to_int