def show(self, env=None, paren=False):
env = env or label(self.free_variables(self.depth))
try:
res = "'{0}".format(env[self])
if tool.DEBUG > 1:
res += " ({0}, {1})".format(tool.hexid(self), self.depth)
return res
except:
return str(self)
def show(self, env=None, paren=False):
if tool.DEBUG > 1:
return "... ({0}, {1})".format(tool.hexid(self), self.depth)
return "..."
