Function Z3_del_constructor 

pub unsafe extern "C" fn Z3_del_constructor(
    c: Z3_context,
    constr: Z3_constructor,
)

Reclaim memory allocated to constructor.

• c: logical context.
• constr: constructor.

See also:

• Z3_mk_constructor