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.

See also: