pub type Z3_func_interp = NonNull<_Z3_func_interp>;
Interpretation of a function in a model.
pub struct Z3_func_interp { /* private fields */ }