def lines(self):
return intern.get_all(self.id, [from_id])
def from_id(cls, id):
head, args = intern.get_all(id, from_id, [from_id])
return cls(head, args)
def from_id(cls, id):
type, (args, indices) = intern.get_all(id, 0, ([from_id], [0]))
return cls(type, args, indices)
def from_id(cls, id):
index = intern.get_all(id, 0)
return cls(index)
def from_id(cls, id):
name = intern.get_all(id, "")
return cls(ndex)
def from_id(id):
type_id, body = intern.get_all(id, 0, None)
return by_type[type_id].from_id(body)
def from_id(cls, id):
return Template(intern.get_all(id, [""]))
