sigmastate.interpreter
User-defined variables to be put into context
- key-value pairs
(Since version ) see corresponding Javadoc for more information.
User-defined variables to be put into context
- key-value pairs