Type Definition z3_sys::Z3_func_interp
source · pub type Z3_func_interp = *mut _Z3_func_interp;
Expand description
Interpretation of a function in a model.
pub type Z3_func_interp = *mut _Z3_func_interp;
Interpretation of a function in a model.