Type Definition Z3_func_decl
z3_sys
type Z3_func_decl = *mut _Z3_func_decl;
Kind of AST used to represent function symbols.