def __init__(self, parts): if type(parts) is str: parts = parts.split("{}") self.parts = parts self.id = intern.intern_all(self.type_id, parts)
def id(self): if self._id is None: self._id = intern.intern_all(self.type_id, (self.head, self.args)) return self._id
def id(self): return intern.intern_all((self.type_id, self.index))
def id(self): if self._id is None: self._id = intern.intern_all(self.type_id, (self.type, (self.args, self.indices))) return self._id
def id(self): return intern.intern_all((self.type_id, self.name))