Type Definition z3_sys::Z3_constructor[−][src]

pub type Z3_constructor = *mut _Z3_constructor;
Expand description

Type constructor for a (recursive) datatype.