T

Minimizable MinimalPathSet

Taxonomy

types

ToConstructorSyntax

types

ToTypeSyntax

types

Tree

inhabitation

TreeGrammarEnumeration

inhabitation

Type

types

TypeRelationOf

SubtypeEnvironment

TypeSyntax

types

target

Apply Combinator Failed Rule Tree InhabitationResult Arrow

targets

HasPriorJob InhabitationBatchJob

tau

Intersection Product

taxonomicSubtypesOf

SubtypeEnvironment

taxonomy

NativeTaxonomyBuilder

tb

ReflectedRepository

terms

InhabitationResult

~~toConstructor~~

~~ToConstructorSyntax~~

~~toConstructorSyntax~~

~~ToConstructorSyntax~~

toResult

HasPriorJob InhabitationBatchJob

toString

Type

toStringPrec

Arrow Constructor Intersection Omega Product Type Variable

toTypeRelationOf

SubtypeEnvironment

toTypeSyntax

~~ToConstructorSyntax~~ ToTypeSyntax

transitiveReflexiveTaxonomicSubtypesOf

SubtypeEnvironment

ty

TypeSyntax

typeTag

ReflectedRepository InhabitationBatchJob

types

cls