Function z3_sys::Z3_ast_vector_translate

pub unsafe extern "C" fn Z3_ast_vector_translate(
    s: Z3_context, 
    v: Z3_ast_vector, 
    t: Z3_context
) -> Z3_ast_vector

Translate the AST vector v from context s into an AST vector in context t.