org.combinators.cls.inhabitation
The algorithm used for inhabitation with the expanded repository.
Performs inhabitation of every type in targets
The repository expanded by every allowed substitution.
All allowed substitutions.
(Since version ) see corresponding Javadoc for more information.
Type inhabitation for bounded combinatory logic (BCL).