Function z3_sys::Z3_tactic_apply_ex

pub unsafe extern "C" fn Z3_tactic_apply_ex(
    c: Z3_context, 
    t: Z3_tactic, 
    g: Z3_goal, 
    p: Z3_params
) -> Z3_apply_result

Apply tactic t to the goal g using the parameter set p.