Function z3_sys::Z3_close_log
[−]
[src]
pub unsafe extern "C" fn Z3_close_log()
Close interaction log.
pub unsafe extern "C" fn Z3_close_log()
Close interaction log.