Type Definition z3_sys::Z3_context
[−]
[src]
type Z3_context = *mut _Z3_context;
Manager of all other Z3 objects, global configuration options, etc.