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