Type Definition z3_sys::Z3_constructor
source · pub type Z3_constructor = *mut _Z3_constructor;
Expand description
Type constructor for a (recursive) datatype.
pub type Z3_constructor = *mut _Z3_constructor;
Type constructor for a (recursive) datatype.