Type Definition Z3_ast_vector
z3_sys
type Z3_ast_vector = *mut _Z3_ast_vector;
Vector of Z3_ast objects.
Z3_ast