[−][src]Type Definition z3_sys::Z3_func_entry
type Z3_func_entry = *mut _Z3_func_entry;
Representation of the value of a
Z3_func_interp
at a particular point.
type Z3_func_entry = *mut _Z3_func_entry;
Representation of the value of a
Z3_func_interp
at a particular point.