Type Definition z3_sys::Z3_context
source · pub type Z3_context = *mut _Z3_context;
Expand description
Manager of all other Z3 objects, global configuration options, etc.
pub type Z3_context = *mut _Z3_context;
Manager of all other Z3 objects, global configuration options, etc.