Type Definition Z3_model
z3_sys
type Z3_model = *mut _Z3_model;
Model for the constraints inserted into the logical context.