Type Alias Z3_func_interp 

pub type Z3_func_interp = NonNull<_Z3_func_interp>;

Interpretation of a function in a model.

Aliased Type

pub struct Z3_func_interp { /* private fields */ }