Type Alias Z3_ast_vector 

pub type Z3_ast_vector = NonNull<_Z3_ast_vector>;

Vector of Z3_ast objects.

Aliased Type

pub struct Z3_ast_vector { /* private fields */ }