Type Definition z3_sys::Z3_constructor

source · 
pub type Z3_constructor = *mut _Z3_constructor;
Expand description

Type constructor for a (recursive) datatype.