1 2 3 4 5 6 7 8 9
Internals ============ Testers ------------------- .. autofunction:: cvc5_z3py_compat.is_expr .. autofunction:: cvc5_z3py_compat.is_app .. autofunction:: cvc5_z3py_compat.is_app_of