z3_sys

Type Alias Z3_func_entry

Source 
pub type Z3_func_entry = *mut _Z3_func_entry;
Expand description

Representation of the value of a Z3_func_interp at a particular point.