Type Definition Z3_constructor
z3_sys
type Z3_constructor = *mut _Z3_constructor;
Type constructor for a (recursive) datatype.