Apply
inhabitation
Arrow
types
Aux
InhabitationBatchJob
Minimizable
AuxWithPrior
InhabitationBatchJob
AuxWithResult
InhabitationBatchJob
addCombinator
ReflectedRepository
addJob
InhabitationBatchJob
addNativeType
NativeTaxonomyBuilder
addNativeTypes
NativeTaxonomyBuilder
addOption
FiniteSubstitutionSpace
NonEmptyKinding
addOptions
NonEmptyKinding
addPaths
Organized
addSubtype
NonEmptyTaxonomy
addSubtypes
NonEmptyTaxonomy
algorithm
BoundedCombinatoryLogic
FiniteCombinatoryLogic
ReflectedRepository
allowedSubstitutions
FiniteSubstitutionSpace
Kinding
apply
Tree
TreeGrammarEnumeration
ReflectedRepository
InhabitationBatchJob
Constructor
ConstructorSyntax
Kinding
Organized
Path
cast
Taxonomy
applyMethodInfoFor
ReflectedRepository
argument
Constructor
argumentType
Apply
arguments
Tree