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