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