org.combinators.cls.types
Helpers to construct finite substitution spaces.
Returns the empty substitution space.
Returns the substitution space where every variable can get replaced by Omega
(Since version ) see corresponding Javadoc for more information.
Helpers to construct finite substitution spaces.