sigmastate.interpreter
Collection of hints to be used by a prover
- hints stored in the bag
(Since version ) see corresponding Javadoc for more information.
Collection of hints to be used by a prover
- hints stored in the bag