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