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