pub unsafe extern "C" fn cvc5_reset_assertions(cvc5: *mut Cvc5)
Remove all assertions.
SMT-LIB:
\verbatim embed:rst:leading-asterisk .. code:: smtlib
(reset-assertions)
\endverbatim
@param cvc5 The solver instance.