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.
Things which induce finite spaces of substitutions.