org.combinators.cls.inhabitation
Provides a type inhabitation algorithm for bounded combinatory logic (BCL).
(Since version ) see corresponding Javadoc for more information.
Provides a type inhabitation algorithm for bounded combinatory logic (BCL).