Type Definition z3_sys::Z3_constructor_list [−][src]
pub type Z3_constructor_list = *mut _Z3_constructor_list;
Expand description
List of constructors for a (recursive) datatype.
pub type Z3_constructor_list = *mut _Z3_constructor_list;
List of constructors for a (recursive) datatype.