Z3.Base.C
data Z3_config
data Z3_context
data Z3_symbol
data Z3_ast
data Z3_sort
data Z3_func_decl
data Z3_app
data Z3_pattern
data Z3_constructor
data Z3_constructor_list
data Z3_model
data Z3_goal
data Z3_tactic
data Z3_apply_result
data Z3_func_interp
data Z3_func_entry
data Z3_fixedpoint
data Z3_solver
data Z3_params
data Z3_ast_vector
data Z3_lbool
data Z3_bool
type Z3_error_handler
type Z3_string
type Z3_ast_print_mode
type Z3_error_code
type Z3_sort_kind
type Z3_ast_kind