Here is a list of all namespace typedefs with links to the namespace documentation for each typedef:

• ast_vector : z3
• expr_vector : z3
• func_decl_vector : z3
• on_clause_eh_t : z3
• sort_vector : z3