Type Definition Z3_app
z3_sys
type Z3_app = *mut _Z3_app;
Kind of AST used to represent function applications.