sigmastate.lang.exceptions
Exception thrown by the sigmastate.lang.SigmaSpecializer.
(Since version ) see corresponding Javadoc for more information.
Exception thrown by the sigmastate.lang.SigmaSpecializer.