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.