Function z3_sys::Z3_del_constructor
source · pub unsafe extern "C" fn Z3_del_constructor(
c: Z3_context,
constr: Z3_constructor
)
pub unsafe extern "C" fn Z3_del_constructor(
c: Z3_context,
constr: Z3_constructor
)