org.combinators.cls.types
Things which induce finite spaces of substitutions.
Obtains the space of well formed substitutions induced by description.
description
Adds an allowed substitution to this space.
(Since version ) see corresponding Javadoc for more information.
Things which induce finite spaces of substitutions.