pub type Z3_ast = *mut _Z3_ast;
Abstract Syntax Tree node. That is, the data structure used in Z3 to represent terms, formulas, and types.