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.