Type Definition z3_sys::Z3_apply_result [−][src]
pub type Z3_apply_result = *mut _Z3_apply_result;
Expand description
Collection of subgoals resulting from applying of a tactic to a goal.
pub type Z3_apply_result = *mut _Z3_apply_result;
Collection of subgoals resulting from applying of a tactic to a goal.