Type Alias Z3_goal 

pub type Z3_goal = NonNull<_Z3_goal>;

Set of formulas that can be solved and/or transformed using tactics and solvers.

Aliased Type

pub struct Z3_goal { /* private fields */ }