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 "..."