Type Definition z3_sys::Z3_constructor_list

source · 
pub type Z3_constructor_list = *mut _Z3_constructor_list;
Expand description

List of constructors for a (recursive) datatype.