Ejemplo n.º 1
0
 def __str__(self):
     return self.opstr + str(self.var) + ". " + quote(self.elem, in_quantifier=True)
Ejemplo n.º 2
0
 def __str__(self):
     return _coconut_tail_call((" " + self.opstr + " ").join, (quote(x) for x in self.elems))
Ejemplo n.º 3
0
 def __str__(self):
     return self.opstr + quote(self.elem)