Here is a list of all namespace enums with links to the namespace documentation for each enum:

• check_result : z3
• rounding_mode : z3