Z3_ast_vector typedef

Z3_ast_vector = Pointer<_Z3_ast_vector>

Implementation

typedef Z3_ast_vector = ffi.Pointer<_Z3_ast_vector>;