Function term_manager_delete 

pub unsafe extern "C" fn term_manager_delete(tm: *mut TermManager)

Delete a cvc5 term manager instance. @param tm The term manager instance.