Type Alias Z3_func_decl 

pub type Z3_func_decl = NonNull<_Z3_func_decl>;

Kind of AST used to represent function symbols.

Aliased Type

pub struct Z3_func_decl { /* private fields */ }