Function z3_sys::Z3_del_constructor
[−]
[src]
pub unsafe extern "C" fn Z3_del_constructor(
c: Z3_context,
constr: Z3_constructor
)
Reclaim memory allocated to constructor.
c
: logical context.constr
: constructor.