Type Definition Z3_func_interp
z3_sys
type Z3_func_interp = *mut _Z3_func_interp;
Interpretation of a function in a model.