def name(self): # TODO string should be orig_key inner_str = "[%s" + ", %s" * (len(self.key) - 1) + "]" return self.args[0].name() + inner_str % ku.to_str(self.key)
def name(self): return self.args[0].name() + "[%s, %s]" % ku.to_str(self.key)