Type Alias Z3_apply_result 

pub type Z3_apply_result = NonNull<_Z3_apply_result>;

Collection of subgoals resulting from applying of a tactic to a goal.

Aliased Type

pub struct Z3_apply_result { /* private fields */ }