Here is a list of all typedefs with links to the files they belong to:

• Z3_char_ptr : z3_api.h
• Z3_fixedpoint_new_lemma_eh : z3_fixedpoint.h
• Z3_fixedpoint_predecessor_eh : z3_fixedpoint.h
• Z3_fixedpoint_reduce_app_callback_fptr : z3_fixedpoint.h
• Z3_fixedpoint_reduce_assign_callback_fptr : z3_fixedpoint.h
• Z3_fixedpoint_unfold_eh : z3_fixedpoint.h
• Z3_model_eh : z3_optimization.h
• Z3_string : z3_api.h
• Z3_string_ptr : z3_api.h