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
TreeGrammarEnumeration
ReflectedRepository
InhabitationBatchJob
ConstructorSyntax
Kinding
Organized
Path
Taxonomy
applyMethodInfoFor
ReflectedRepository
arguments
Tree
Constructor