empty

FiniteSubstitutionSpace Kinding Taxonomy

enrichTaxonomyWithTargets

HasPriorJob InhabitationBatchJob

enumerationMap

TreeGrammarEnumeration

equalsWithSubtypeEqualityIn

Tree

evalInhabitant

ReflectedRepository