Stack package:sbv

Stack of values.

The current assertion stack depth, i.e., #push - #pops after start. Always non-negative. NB. For a version which generalizes over the underlying monad, see getAssertionStackDepth

Run the query in a new assertion stack. That is, we push the context, run the query commands, and pop it back. NB. For a version which generalizes over the underlying monad, see inNewAssertionStack

Generalization of getAssertionStackDepth

Generalization of inNewAssertionStack