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