Function z3_sys::Z3_ast_vector_resize [−][src]
pub unsafe extern "C" fn Z3_ast_vector_resize(
c: Z3_context,
v: Z3_ast_vector,
n: c_uint
)
Expand description
Resize the AST vector v
.
pub unsafe extern "C" fn Z3_ast_vector_resize(
c: Z3_context,
v: Z3_ast_vector,
n: c_uint
)
Resize the AST vector v
.