Function z3_sys::Z3_goal_translate

pub unsafe extern "C" fn Z3_goal_translate(
    source: Z3_context, 
    g: Z3_goal, 
    target: Z3_context
) -> Z3_goal

Copy a goal g from the context source to the context target.