dijon
Union types using Curry-Howard isomorphism: http://stackoverflow.com/questions/3508077/
(Since version ) see corresponding Javadoc for more information.
Union types using Curry-Howard isomorphism: http://stackoverflow.com/questions/3508077/