z3_sys
pub unsafe extern "C" fn Z3_del_constructor( c: Z3_context, constr: Z3_constructor)
Reclaim memory allocated to constructor.
c
constr
Z3_mk_constructor