Function boolector_sys::boolector_set_abort
source · pub unsafe extern "C" fn boolector_set_abort(
fun: Option<unsafe extern "C" fn(msg: *const c_char)>
)
pub unsafe extern "C" fn boolector_set_abort(
fun: Option<unsafe extern "C" fn(msg: *const c_char)>
)