Function z3_sys::Z3_del_constructor
source · pub unsafe extern "C" fn Z3_del_constructor(
c: Z3_context,
constr: Z3_constructor
)
Expand description
Reclaim memory allocated to constructor.
c
: logical context.constr
: constructor.