Document quantifiers in idiomatic python API (#7880)

diff --git a/docs/api/python/z3compat/quant.rst b/docs/api/python/z3compat/quant.rst
index 8f4a756c7656d72e605c658d737babd90be87aa4..ecf85445a3b3aefe5d71547c8f20ba5113be3db2 100644 (file)
--- a/docs/api/python/z3compat/quant.rst
+++ b/docs/api/python/z3compat/quant.rst
@@ -1,4 +1,20 @@
 Quantifiers
 ============
 
+Builders
+------------------
+.. autofunction:: cvc5_z3py_compat.ForAll
+.. autofunction:: cvc5_z3py_compat.Exists
+.. autofunction:: cvc5_z3py_compat.Lambda
+
+Testers
+-------------------
 .. autofunction:: cvc5_z3py_compat.is_var
+.. autofunction:: cvc5_z3py_compat.is_quantifier
+
+Classes
+-------
+.. autoclass:: cvc5_z3py_compat.QuantifierRef
+   :members:
+   :special-members:
+