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