Instructions for updating external Z3 API
-----------------------------------------
The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API.
The .h files provided to `mk_bindings(API_files)` contain these definitions.
See src\api\z3_api.h for many examples.
The bindings for .Net and Python are generated by `update_api.py`, which CMake
invokes automatically when the corresponding `Z3_BUILD_*_BINDINGS` option is
enabled.