Type Definition Z3_goal
z3_sys
type Z3_goal = *mut _Z3_goal;
Set of formulas that can be solved and/or transformed using tactics and solvers.