pub unsafe extern "C" fn pop(cvc5: *mut Solver, nscopes: u32)Expand description
Pop (a) level(s) from the assertion stack.
SMT-LIB:
\verbatim embed:rst:leading-asterisk .. code:: smtlib
(pop <numeral>)\endverbatim
@param cvc5 The solver instance. @param nscopes The number of levels to pop.