Skip to main content

term_manager_delete

Function term_manager_delete 

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

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