Type Definition z3_sys::Z3_app

source · 
pub type Z3_app = *mut _Z3_app;
Expand description

Kind of AST used to represent function applications.