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

type Z3_model = *mut _Z3_model;

Model for the constraints inserted into the logical context.