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))
