Added "λ" pretty printing to python (#7320)

Z3Prover · Jul 31, 2024 · e7382d6 · e7382d6
1 parent 0c16d34
commit e7382d6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/api/python/z3/z3printer.py b/src/api/python/z3/z3printer.py
@@ -1412,8 +1412,10 @@ def pp_quantifier(self, a, d, xs):
         ys_pp = group(seq(ys))
         if a.is_forall():
             header = "&forall;"
-        else:
+        elif a.is_exists():
             header = "&exist;"
+        else:
+            header = "&lambda;"
         return group(compose(to_format(header, 1),
                              indent(1, compose(ys_pp, to_format(" :"), line_break(), body_pp))))