sigmastate
Helper constuctor/extractor for tuples of two types.
(Since version ) see corresponding Javadoc for more information.
Helper constuctor/extractor for tuples of two types.