sigmastate
AND conjunction for sigma propositions
The same code is used for AND operation, but they belong to different type hierarchies.
(Since version ) see corresponding Javadoc for more information.
AND conjunction for sigma propositions