Type Definition z3_sys::Z3_func_decl

source · 
pub type Z3_func_decl = *mut _Z3_func_decl;
Expand description

Kind of AST used to represent function symbols.