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.