[][src]Type Definition z3_sys::Z3_context

type Z3_context = *mut _Z3_context;

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