Type Definition z3_sys::Z3_context[−][src]

pub type Z3_context = *mut _Z3_context;
Expand description

Manager of all other Z3 objects, global configuration options, etc.