Type Definition z3_sys::Z3_func_decl [−][src]
pub type Z3_func_decl = *mut _Z3_func_decl;Expand description
Kind of AST used to represent function symbols.
pub type Z3_func_decl = *mut _Z3_func_decl;Kind of AST used to represent function symbols.