Type Alias Z3_func_entry 

pub type Z3_func_entry = NonNull<_Z3_func_entry>;

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

Aliased Type

pub struct Z3_func_entry { /* private fields */ }